Mini.Transformers.Class

The class of monad transformers

Class

class MonadTrans t where

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

Lift a computation from the inner monad to the transformer monad

Instances

MonadTrans MaybeT

Defined in Mini.Transformers.MaybeT

Methods

lift :: Monad m => m a -> MaybeT m a

MonadTrans (EitherT e)

Defined in Mini.Transformers.EitherT

Methods

lift :: Monad m => m a -> EitherT e m a

MonadTrans (ParserT s)

Defined in Mini.Transformers.ParserT

Methods

lift :: Monad m => m a -> ParserT s m a

MonadTrans (ReaderT r)

Defined in Mini.Transformers.ReaderT

Methods

lift :: Monad m => m a -> ReaderT r m a

MonadTrans (StateT s)

Defined in Mini.Transformers.StateT

Methods

lift :: Monad m => m a -> StateT s m a

Monoid w => MonadTrans (WriterT w)

Defined in Mini.Transformers.WriterT

Methods

lift :: Monad m => m a -> WriterT w m a