Control.Monad.Trans

Definitions

interface MonadTrans : ((Type -> Type) -> Type -> Type) -> Type

  A monad transformer is a type that can wrap an inner monad, extending it
  with additional abilities.

Parameters: t
Methods:

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

  Lift a computation from the inner monad to the transformed monad.

Implementations:

MonadTrans (EitherT e)

MonadTrans MaybeT

MonadTrans (RWST r w s)

MonadTrans (ReaderT stateType)

MonadTrans (StateT stateType)

MonadTrans (WriterT w)

lift : MonadTrans t => Monad m => m a -> t m a

  Lift a computation from the inner monad to the transformed monad.

Totality: total
Visibility: public export