Lift a callCC operation to the new monad.
Modulererebase-1.21.2Haskell2010
Control.Monad.Trans.Identity
- 1 type
- 3 values
- Packagererebase-1.21.2
- Exports4
- LanguageHaskell2010
- LicenceMIT
- SourceIdentity.hs
The trivial monad transformer, which maps a monad to an equivalent monad.
Constructors
IdentityTrunIdentityT :: f a
Instances83MonadRWS, Generic1, MonadAccum, MonadError, MonadReader, MonadState, …
MonadRWS r w s m => MonadRWS r w s (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.RWS.ClassGeneric1 (IdentityT f)Defined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityMonadAccum w m => MonadAccum w (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.AccumMonadError e m => MonadError e (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.Error.ClassMonadReader r m => MonadReader r (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.Reader.ClassMonadState s m => MonadState s (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.State.ClassMonadWriter w m => MonadWriter w (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.Writer.ClassMonadSelect r m => MonadSelect r (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.SelectFoldableWithIndex i m => FoldableWithIndex i (IdentityT m)Defined in indexed-traversable-0.1.4 · WithIndexFunctorWithIndex i m => FunctorWithIndex i (IdentityT m)Defined in indexed-traversable-0.1.4 · WithIndexTraversableWithIndex i m => TraversableWithIndex i (IdentityT m)Defined in indexed-traversable-0.1.4 · WithIndexComonadEnv e w => ComonadEnv e (IdentityT w)Defined in comonad-5.0.9 · Control.Comonad.Env.ClassComonadStore s w => ComonadStore s (IdentityT w)Defined in comonad-5.0.9 · Control.Comonad.Store.ClassComonadTraced m w => ComonadTraced m (IdentityT w)Defined in comonad-5.0.9 · Control.Comonad.Traced.ClassMonadBase b m => MonadBase b (IdentityT m)Defined in transformers-base-0.4.6 · Control.Monad.BaseComonadCofree f w => ComonadCofree f (IdentityT w)Defined in free-5.2 · Control.Comonad.Cofree.Class(Functor f, MonadFree f m) => MonadFree f (IdentityT m)Defined in free-5.2 · Control.Monad.Free.ClassMonadTrans IdentityTDefined in transformers-0.6.1.1 · Control.Monad.Trans.IdentityComonadTrans IdentityTDefined in comonad-5.0.9 · Control.Comonad.Trans.ClassComonadHoist IdentityTDefined in comonad-5.0.9 · Control.Comonad.Hoist.ClassBindTrans IdentityTDefined in semigroupoids-6.0.1 · Data.Functor.Bind.TransMonad 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.IdentityMonadCont m => MonadCont (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.Cont.ClassMonadCatch m => MonadCatch (IdentityT m)Defined in exceptions-0.10.9 · Control.Monad.CatchMonadMask m => MonadMask (IdentityT m)Defined in exceptions-0.10.9 · Control.Monad.CatchMonadThrow m => MonadThrow (IdentityT m)Defined in exceptions-0.10.9 · Control.Monad.CatchPrimBase m => PrimBase (IdentityT m)Defined in primitive-0.9.1.0 · Control.Monad.PrimitivePrimMonad m => PrimMonad (IdentityT m)Defined in primitive-0.9.1.0 · Control.Monad.PrimitiveDistributive g => Distributive (IdentityT g)Defined in distributive-0.6.2.1 · Data.DistributiveComonad w => Comonad (IdentityT w)Defined in comonad-5.0.9 · Control.ComonadComonadApply w => ComonadApply (IdentityT w)Defined in comonad-5.0.9 · Control.ComonadDecidable f => Decidable (IdentityT f)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.DivisibleDivisible f => Divisible (IdentityT f)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.DivisibleAlt f => Alt (IdentityT f)Defined in semigroupoids-6.0.1 · Data.Functor.AltApply w => Apply (IdentityT w)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.ClassBind m => Bind (IdentityT m)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.ClassExtend w => Extend (IdentityT w)Defined in semigroupoids-6.0.1 · Data.Functor.ExtendConclude f => Conclude (IdentityT f)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.ConcludeDecide f => Decide (IdentityT f)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.DecideDivise f => Divise (IdentityT f)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.DivisePlus f => Plus (IdentityT f)Defined in semigroupoids-6.0.1 · Data.Functor.PlusTraversable1 f => Traversable1 (IdentityT f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassRepresentable m => Representable (IdentityT m)Defined in adjunctions-4.4.3 · Data.Functor.RepInvariant m => Invariant (IdentityT m)Defined in invariant-0.6.4 · Data.Functor.Invariantfrom the
transformerspackageSelective f => Selective (IdentityT f)Defined in selective-0.7.0.1 · Control.SelectiveFoldableWithKey m => FoldableWithKey (IdentityT m)Defined in keys-3.12.3 · Data.KeyFoldableWithKey1 m => FoldableWithKey1 (IdentityT m)Defined in keys-3.12.3 · Data.KeyIndexable m => Indexable (IdentityT m)Defined in keys-3.12.3 · Data.KeyKeyed m => Keyed (IdentityT m)Defined in keys-3.12.3 · Data.KeyLookup m => Lookup (IdentityT m)Defined in keys-3.12.3 · Data.KeyTraversableWithKey m => TraversableWithKey (IdentityT m)Defined in keys-3.12.3 · Data.KeyTraversableWithKey1 m => TraversableWithKey1 (IdentityT m)Defined in keys-3.12.3 · Data.KeyZip m => Zip (IdentityT m)Defined in keys-3.12.3 · Data.KeyZipWithKey m => ZipWithKey (IdentityT m)Defined in keys-3.12.3 · Data.KeyCopointed m => Copointed (IdentityT m)Defined in pointed-5.0.4 · Data.CopointedPointed m => Pointed (IdentityT m)Defined in pointed-5.0.4 · Data.PointedAdjunction f g => Adjunction (IdentityT f) (IdentityT g)Defined in adjunctions-4.4.3 · Data.Functor.Adjunction(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)))type PrimState (IdentityT m) = PrimState mDefined in primitive-0.9.1.0 · Control.Monad.Primitivetype Rep (IdentityT m) = Rep mDefined in adjunctions-4.4.3 · Data.Functor.Reptype Key (IdentityT m) = Key mDefined in keys-3.12.3 · Data.Key
Lift a catchE operation to the new monad.
Lift a unary operation to the new monad.