The trivial monad transformer, which maps a monad to an equivalent monad.
Constructors
IdentityTrunIdentityT :: f a
Instances37Generic1, FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, ComonadEnv, ComonadStore, …
Generic1 (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityFoldableWithIndex i m => FoldableWithIndex i (IdentityT m)Defined in indexed-traversable-0.1.5 · WithIndexFunctorWithIndex i m => FunctorWithIndex i (IdentityT m)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex i m => TraversableWithIndex i (IdentityT m)Defined in indexed-traversable-0.1.5 · WithIndexComonadEnv e w => ComonadEnv e (IdentityT w)Defined in comonad-5.0.10 · Control.Comonad.Env.ClassComonadStore s w => ComonadStore s (IdentityT w)Defined in comonad-5.0.10 · Control.Comonad.Store.ClassComonadTraced m w => ComonadTraced m (IdentityT w)Defined in comonad-5.0.10 · Control.Comonad.Traced.ClassMonadTrans IdentityTDefined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityComonadTrans IdentityTDefined in comonad-5.0.10 · Control.Comonad.Trans.ClassComonadHoist IdentityTDefined in comonad-5.0.10 · Control.Comonad.Hoist.ClassMonad m => Monad (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityFunctor m => Functor (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityMonadFix m => MonadFix (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityMonadFail m => MonadFail (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityApplicative m => Applicative (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityFoldable f => Foldable (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityTraversable f => Traversable (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityAlternative m => Alternative (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityMonadPlus m => MonadPlus (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityMonadIO m => MonadIO (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityMonadZip m => MonadZip (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityFoldable1 m => Foldable1 (IdentityT m)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityEq1 f => Eq1 (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityOrd1 f => Ord1 (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityRead1 f => Read1 (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityShow1 f => Show1 (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityContravariant f => Contravariant (IdentityT f)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityDistributive g => Distributive (IdentityT g)Defined in distributive-0.6.3 · Data.DistributiveComonad w => Comonad (IdentityT w)Defined in comonad-5.0.10 · Control.ComonadComonadApply w => ComonadApply (IdentityT w)Defined in comonad-5.0.10 · Control.Comonad(Eq1 f, Eq a) => Eq (IdentityT f a)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Identity(Ord1 f, Ord a) => Ord (IdentityT f a)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Identity(Read1 f, Read a) => Read (IdentityT f a)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Identity(Show1 f, Show a) => Show (IdentityT f a)Defined in transformers-0.6.3.0 · Control.Monad.Trans.IdentityGeneric (IdentityT f a)Defined in transformers-0.6.3.0 · Control.Monad.Trans.Identitytype Rep (IdentityT f a) = D1 ('MetaDataDefined in transformers-0.6.3.0 · Control.Monad.Trans.Identity"IdentityT"
"Control.Monad.Trans.Identity"
"transformers-0.6.3.0-34b4"
'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.3.0 · Control.Monad.Trans.Identity"IdentityT"
"Control.Monad.Trans.Identity"
"transformers-0.6.3.0-34b4"
'True) (C1 ('MetaCons"IdentityT"
'PrefixI 'True) (S1 ('MetaSel ('Just"runIdentityT"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))