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

Stability | provisional |

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

Safe Haskell | Safe-Inferred |

- 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 | |

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

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

BindTrans (StateT s) | |

BindTrans (StateT s) | |

BindTrans (ReaderT e) | |

BindTrans (ContT r) | |

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

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