Control.Monad.Writer.Class (original) (raw)
MonadWriter w m => MonadWriter w (MaybeT m) Source #
Instance details
Defined in Control.Monad.Writer.Class
Monoid w => MonadWriter w ((,) w) Source #
Since: 2.2.2
Instance details
Defined in Control.Monad.Writer.Class
(Monoid w', MonadWriter w m) => MonadWriter w (AccumT w' m) Source #
There are two valid instances for [AccumT](/package/transformers-0.5.6.2/docs/Control-Monad-Trans-Accum.html#t:AccumT "Control.Monad.Trans.Accum"). It could either:
- Lift the operations to the inner
MonadWriter - Handle the operations itself, à la a
WriterT.
This instance chooses (1), reflecting that the intent of [AccumT](/package/transformers-0.5.6.2/docs/Control-Monad-Trans-Accum.html#t:AccumT "Control.Monad.Trans.Accum") as a type is different than that of WriterT.
Since: 2.3
Instance details
Defined in Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (ExceptT e m) Source #
Since: 2.2
Instance details
Defined in Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (IdentityT m) Source #
Instance details
Defined in Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (ReaderT r m) Source #
Instance details
Defined in Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (StateT s m) Source #
Instance details
Defined in Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (StateT s m) Source #
Instance details
Defined in Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (WriterT w m) Source #
Since: 2.3
Instance details
Defined in Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (WriterT w m) Source #
Instance details
Defined in Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (WriterT w m) Source #
Instance details
Defined in Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (RWST r w s m) Source #
Since: 2.3
Instance details
Defined in Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (RWST r w s m) Source #
Instance details
Defined in Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (RWST r w s m) Source #
Instance details
Defined in Control.Monad.Writer.Class