Control.Monad.Identity.Trans

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

• IdentityT (m a)

Instances

• (Eq1 m, Eq a) => Eq (IdentityT m a)
• (Ord1 m, Ord a) => Ord (IdentityT m a)
• (Eq1 m) => Eq1 (IdentityT m)
• (Ord1 m) => Ord1 (IdentityT m)
• Newtype (IdentityT m a) _
• (Functor m) => Functor (IdentityT m)
• (Apply m) => Apply (IdentityT m)
• (Applicative m) => Applicative (IdentityT m)
• (Alt m) => Alt (IdentityT m)
• (Plus m) => Plus (IdentityT m)
• (Alternative m) => Alternative (IdentityT m)
• (Bind m) => Bind (IdentityT m)
• (Monad m) => Monad (IdentityT m)
• (MonadRec m) => MonadRec (IdentityT m)
• (MonadZero m) => MonadZero (IdentityT m)
• (MonadPlus m) => MonadPlus (IdentityT m)
• MonadTrans IdentityT
• (MonadEffect m) => MonadEffect (IdentityT m)
• (MonadCont m) => MonadCont (IdentityT m)
• (MonadThrow e m) => MonadThrow e (IdentityT m)
• (MonadError e m) => MonadError e (IdentityT m)
• (MonadAsk r m) => MonadAsk r (IdentityT m)
• (MonadReader r m) => MonadReader r (IdentityT m)
• (MonadState s m) => MonadState s (IdentityT m)
• (MonadTell w m) => MonadTell w (IdentityT m)
• (MonadWriter w m) => MonadWriter w (IdentityT m)
• (Foldable m) => Foldable (IdentityT m)
• (Traversable m) => Traversable (IdentityT m)

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

Run a computation in the IdentityT monad.

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.