| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | None |
Data.Functor.Bind.Trans
Description
- class MonadTrans t => BindTrans t where
Documentation
class MonadTrans t => BindTrans t whereSource
A subset of monad transformers can transform any Bind as well.
Instances
| 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) |