Copyright | (C) 2011-2015 Edward Kmett |
---|---|

License | BSD-style (see the file LICENSE) |

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

Stability | provisional |

Portability | portable |

Safe Haskell | Safe |

Language | Haskell98 |

## Synopsis

- class MonadTrans t => BindTrans t where

# Documentation

class MonadTrans t => BindTrans t where Source #

A subset of monad transformers can transform any `Bind`

as well.

## Instances

BindTrans (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |

Monoid w => BindTrans (WriterT w) Source # | |

Monoid w => BindTrans (WriterT w) Source # | |

BindTrans (StateT s) Source # | |

BindTrans (StateT s) Source # | |

BindTrans (ReaderT e :: (Type -> Type) -> Type -> Type) Source # | |

BindTrans (ContT r) Source # | |

Monoid w => BindTrans (RWST r w s) Source # | |

Monoid w => BindTrans (RWST r w s) Source # | |