Idris2Doc : Control.Monad.Trans

Control.Monad.Trans

interfaceMonadTrans : ((Type -> Type) -> Type -> Type) -> Type
Parameters: t
Methods:
lift : Monadm => ma -> tma

Implementations:
MonadTrans (EitherTe)
MonadTransMaybeT
MonadTrans (RWSTrws)
MonadTrans (ReaderTstateType)
MonadTrans (StateTstateType)
MonadTrans (WriterTw)
lift : MonadTranst => Monadm => ma -> tma
Totality: total