Portability | portable |
---|---|

Stability | provisional |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Safe Haskell | None |

- class MonadTrans t => BindTrans t where

# Documentation

class MonadTrans t => BindTrans t whereSource

A subset of monad transformers can transform any `Bind`

as well.

BindTrans IdentityT | |

(MonadTrans (WriterT w), Semigroup w, Monoid w) => BindTrans (WriterT w) | |

(MonadTrans (WriterT w), Semigroup w, Monoid w) => BindTrans (WriterT w) | |

MonadTrans (StateT s) => BindTrans (StateT s) | |

MonadTrans (StateT s) => BindTrans (StateT s) | |

MonadTrans (ReaderT e) => BindTrans (ReaderT e) | |

MonadTrans (ContT r) => BindTrans (ContT r) | |

(MonadTrans (RWST r w s), Semigroup w, Monoid w) => BindTrans (RWST r w s) | |

(MonadTrans (RWST r w s), Semigroup w, Monoid w) => BindTrans (RWST r w s) |