| 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-Inferred |
| Language | Haskell98 |
Data.Functor.Bind.Trans
Description
- 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 | |
| (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) |