| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Inferred |
Data.Functor.Bind.Trans
Description
Documentation
class MonadTrans t => BindTrans t whereSource
A subset of monad transformers can transform any Bind as well.
Instances
| BindTrans IdentityT | |
| BindTrans (ContT r) | |
| BindTrans (ReaderT e) | |
| BindTrans (StateT s) | |
| (Semigroup w, Monoid w) => BindTrans (WriterT w) | |
| BindTrans (StateT s) | |
| (Semigroup w, Monoid w) => BindTrans (WriterT w) | |
| (Semigroup w, Monoid w) => BindTrans (RWST r w s) | |
| (Semigroup w, Monoid w) => BindTrans (RWST r w s) |