The trivial monad transformer, which maps a monad to an equivalent monad.
Constructors
IdentityTrunIdentityT :: f a
Instances26Generic1, MonadTrans, Monad, Functor, MonadFix, MonadFail, …
Generic1 (IdentityT f)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityMonadTrans IdentityTDefined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityMonad m => Monad (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityFunctor m => Functor (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityMonadFix m => MonadFix (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityMonadFail m => MonadFail (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityApplicative m => Applicative (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityFoldable f => Foldable (IdentityT f)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityTraversable f => Traversable (IdentityT f)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityAlternative m => Alternative (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityMonadPlus m => MonadPlus (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityMonadIO m => MonadIO (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityMonadZip m => MonadZip (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityFoldable1 m => Foldable1 (IdentityT m)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityEq1 f => Eq1 (IdentityT f)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityOrd1 f => Ord1 (IdentityT f)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityRead1 f => Read1 (IdentityT f)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityShow1 f => Show1 (IdentityT f)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityContravariant f => Contravariant (IdentityT f)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Identity(Eq1 f, Eq a) => Eq (IdentityT f a)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Identity(Ord1 f, Ord a) => Ord (IdentityT f a)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Identity(Read1 f, Read a) => Read (IdentityT f a)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Identity(Show1 f, Show a) => Show (IdentityT f a)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityGeneric (IdentityT f a)Defined in transformers-0.6.1.1 · Control.Monad.Trans.Identitytype Rep (IdentityT f a) = D1 ('MetaDataDefined in transformers-0.6.1.1 · Control.Monad.Trans.Identity"IdentityT"
"Control.Monad.Trans.Identity"
"transformers-0.6.1.1-a11a"
'True) (C1 ('MetaCons"IdentityT"
'PrefixI 'True) (S1 ('MetaSel ('Just"runIdentityT"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))type Rep1 (IdentityT f) = D1 ('MetaDataDefined in transformers-0.6.1.1 · Control.Monad.Trans.Identity"IdentityT"
"Control.Monad.Trans.Identity"
"transformers-0.6.1.1-a11a"
'True) (C1 ('MetaCons"IdentityT"
'PrefixI 'True) (S1 ('MetaSel ('Just"runIdentityT"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))