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 (IdentityT *) Source # | |

MonadTrans (ExceptT e) Source # | |

MonadTrans (StateT r) Source # | |

MonadTrans (StateT r) Source # | |

MonadTrans (WriterT w) Source # | |

MonadTrans (ContT * r) Source # | |

MonadTrans (ReaderT * r) Source # | |