Idris2Doc : Control.Monad.Trans

Control.Monad.Trans

interface MonadTrans : ((Type -> Type) -> Type -> Type) -> Type
  Parameters: t
Methods:
  
lift : Monad m => m a -> t m a

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
  Totality: total