Module

Control.Monad.Identity.Trans

#IdentityT

newtype IdentityT :: forall k. (k -> Type) -> k -> Typenewtype IdentityT m a

The IdentityT monad transformer.

This monad acts like a placeholder for functions that take a monad transformer as an argument, similar to identity for functions and Identity for monads.

Constructors

Instances

#runIdentityT

runIdentityT :: forall m a. IdentityT m a -> m a

Run a computation in the IdentityT monad.

#mapIdentityT

mapIdentityT :: forall m1 m2 a b. (m1 a -> m2 b) -> IdentityT m1 a -> IdentityT m2 b

Change the result type of a IdentityT monad action.

Modules