Control.Comonad.Trans.Identity

comonad-transformers-2.0.2: Comonad transformers

Portability | portable
Stability | provisional
Maintainer | Edward Kmett <ekmett@gmail.com>

Control.Comonad.Trans.Identity

Description

Synopsis

- 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 runIdentityT :: m a

Instances

MonadTrans IdentityT |
ComonadTrans IdentityT |
ComonadHoist IdentityT |
Monad m => Monad (IdentityT m) |
Functor m => Functor (IdentityT m) |
MonadPlus m => MonadPlus (IdentityT m) |
Applicative m => Applicative (IdentityT m) |
Foldable m => Foldable (IdentityT m) |
Traversable m => Traversable (IdentityT m) |
Alternative m => Alternative (IdentityT m) |
Comonad w => Comonad (IdentityT w) |
Extend w => Extend (IdentityT w) |
Distributive g => Distributive (IdentityT g) |
Alt f => Alt (IdentityT f) |
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) |