Control.Comonad.Trans.Identity

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)

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)

ComonadApply w => ComonadApply (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)

Extend w => Extend (IdentityT w)

MonadIO m => MonadIO (IdentityT m)