Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module duplicates the Control.Monad.Trans.Class module for constrained monads.
- class MonadTrans t where
- type SuitableLift (t :: (* -> *) -> * -> *) (m :: * -> *) (a :: *) :: Constraint
Documentation
class MonadTrans t where Source #
A class for monad transformers with constraints. See Control.Monad.Trans.Class for full documentation on the class without constraints.
lift :: (Monad m, SuitableLift t m a) => m a -> t m a Source #
Lift a monad into an outer monad.
MonadTrans MaybeT Source # | |
MonadTrans (ExceptT e) Source # | |
MonadTrans (StateT r) Source # | |
MonadTrans (StateT r) Source # | |
MonadTrans (IdentityT *) Source # | |
MonadTrans (WriterT w) Source # | |
MonadTrans (ContT * r) Source # | |
MonadTrans (ReaderT * r) Source # | |