Control.Comonad.Trans.Identity

Documentation

newtype IdentityT f a :: (* -> *) -> * -> *

The trivial monad transformer, which maps a monad to an equivalent monad.

Constructors

IdentityT

Fields

runIdentityT :: f a

Instances

MonadTrans IdentityT

ComonadTrans IdentityT

ComonadHoist IdentityT

ComonadEnv e w => ComonadEnv e (IdentityT w)

ComonadStore s w => ComonadStore s (IdentityT w)

ComonadTraced m w => ComonadTraced m (IdentityT w)

Alternative m => Alternative (IdentityT m)

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)

Distributive g => Distributive (IdentityT g)

Eq1 f => Eq1 (IdentityT f)

Ord1 f => Ord1 (IdentityT f)

Read1 f => Read1 (IdentityT f)

Show1 f => Show1 (IdentityT f)

MonadIO m => MonadIO (IdentityT m)

ComonadApply w => ComonadApply (IdentityT w)

Comonad w => Comonad (IdentityT w)

(Eq1 f, Eq a) => Eq (IdentityT f a)

(Ord1 f, Ord a) => Ord (IdentityT f a)

(Read1 f, Read a) => Read (IdentityT f a)

(Show1 f, Show a) => Show (IdentityT f a)