Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
The class of monad transformers
Synopsis
- class MonadTrans t where
Class
class MonadTrans t where Source #
Instances should satisfy the following laws:
lift . pure = pure
lift (m >>= f) = lift m >>= (lift . f)
lift :: Monad m => m a -> t m a Source #
Lift a computation from the inner monad to the transformer monad
Instances
MonadTrans (EitherT e) Source # | |
MonadTrans (ParserT s) Source # | |
MonadTrans (ReaderT r) Source # | |
MonadTrans (StateT s) Source # | |
Monoid w => MonadTrans (WriterT w) Source # | |