| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Infered |
Control.Comonad.Trans.Identity
Description
- newtype IdentityT m a = IdentityT {
- runIdentityT :: m a
Documentation
newtype IdentityT m a
The trivial monad transformer, which maps a monad to an equivalent monad.
Constructors
| IdentityT | |
Fields
| |
Instances
| MonadTrans IdentityT | |
| ComonadTrans IdentityT | |
| ComonadHoist IdentityT | |
| Monad m => Monad (IdentityT m) | |
| Functor m => Functor (IdentityT m) | |
| MonadFix m => MonadFix (IdentityT m) | |
| MonadPlus m => MonadPlus (IdentityT m) | |
| Applicative m => Applicative (IdentityT m) | |
| Foldable f => Foldable (IdentityT f) | |
| Traversable f => Traversable (IdentityT f) | |
| Alternative m => Alternative (IdentityT m) | |
| Comonad w => Comonad (IdentityT w) | |
| Extend w => Extend (IdentityT w) | |
| Distributive g => Distributive (IdentityT g) | |
| Traversable1 f => Traversable1 (IdentityT f) | |
| Foldable1 m => Foldable1 (IdentityT m) | |
| Apply w => Apply (IdentityT w) | |
| Bind m => Bind (IdentityT m) | |
| MonadIO m => MonadIO (IdentityT m) |