Idris2Doc : Control.Monad.Trans

Control.Monad.Trans

MonadTrans : ((Type -> Type) -> Type -> Type) -> Type
Parameters: t
Methods:
lift : {auto {i_con:0} : Monadm} -> ma -> tma

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