Safe Haskell	Safe-Inferred
Language	Haskell2010

Mini.Transformers.Class

Contents

Description

The class of monad transformers

Synopsis

Class

Instances should satisfy the following laws:

lift . pure = pure

lift (m >>= f) = lift m >>= (lift . f)

Methods

lift :: Monad m => m a -> t m a Source #

Lift a computation from the inner monad to the transformer monad

Instances details

MonadTrans MaybeT Source #
Instance details Defined in Mini.Transformers.MaybeT Methods lift :: Monad m => m a -> MaybeT m a Source #
MonadTrans (EitherT e) Source #
Instance details Defined in Mini.Transformers.EitherT Methods lift :: Monad m => m a -> EitherT e m a Source #
MonadTrans (ParserT s) Source #
Instance details Defined in Mini.Transformers.ParserT Methods lift :: Monad m => m a -> ParserT s m a Source #
MonadTrans (ReaderT r) Source #
Instance details Defined in Mini.Transformers.ReaderT Methods lift :: Monad m => m a -> ReaderT r m a Source #
MonadTrans (StateT s) Source #
Instance details Defined in Mini.Transformers.StateT Methods lift :: Monad m => m a -> StateT s m a Source #
Monoid w => MonadTrans (WriterT w) Source #
Instance details Defined in Mini.Transformers.WriterT Methods lift :: Monad m => m a -> WriterT w m a Source #