Constant functor.
Constructors
ConstantgetConstant :: a
Instances43Generic1, FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, Bifoldable, Bifunctor, …
Generic1 (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantFoldableWithIndex Void (Constant e)Defined in indexed-traversable-0.1.4 · WithIndexFunctorWithIndex Void (Constant e)Defined in indexed-traversable-0.1.4 · WithIndexTraversableWithIndex Void (Constant e)Defined in indexed-traversable-0.1.4 · WithIndexBifoldable ConstantDefined in transformers-0.6.1.1 · Data.Functor.ConstantBifunctor ConstantDefined in transformers-0.6.1.1 · Data.Functor.ConstantBitraversable ConstantDefined in transformers-0.6.1.1 · Data.Functor.ConstantEq2 ConstantDefined in transformers-0.6.1.1 · Data.Functor.ConstantOrd2 ConstantDefined in transformers-0.6.1.1 · Data.Functor.ConstantRead2 ConstantDefined in transformers-0.6.1.1 · Data.Functor.ConstantShow2 ConstantDefined in transformers-0.6.1.1 · Data.Functor.ConstantInvariant2 ConstantDefined in invariant-0.6.4 · Data.Functor.Invariantfrom the
transformerspackageFunctor (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantMonoid a => Applicative (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantFoldable (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantTraversable (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantEq a => Eq1 (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantOrd a => Ord1 (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantRead a => Read1 (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantShow a => Show1 (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantContravariant (Constant a)Defined in transformers-0.6.1.1 · Data.Functor.ConstantMonoid m => Divisible (Constant m)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.DivisibleSemigroup f => Apply (Constant f)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.ClassA
Constant fis not Applicative unless itsfis a Monoid, but it is an instance of ApplySemigroup m => Divise (Constant m)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.DiviseInvariant (Constant a)Defined in invariant-0.6.4 · Data.Functor.Invariantfrom the
transformerspackageAdjustable (Constant e)Defined in keys-3.12.3 · Data.KeyFoldableWithKey (Constant e)Defined in keys-3.12.3 · Data.KeyIndexable (Constant e)Defined in keys-3.12.3 · Data.KeyKeyed (Constant e)Defined in keys-3.12.3 · Data.KeyLookup (Constant e)Defined in keys-3.12.3 · Data.KeyTraversableWithKey (Constant e)Defined in keys-3.12.3 · Data.KeyDefault m => Pointed (Constant m)Defined in pointed-5.0.4 · Data.PointedEq a => Eq (Constant a b)Defined in transformers-0.6.1.1 · Data.Functor.Constant(Typeable b, Typeable k, Data a) => Data (Constant a b)Defined in transformers-0.6.1.1 · Data.Functor.ConstantOrd a => Ord (Constant a b)Defined in transformers-0.6.1.1 · Data.Functor.ConstantRead a => Read (Constant a b)Defined in transformers-0.6.1.1 · Data.Functor.ConstantShow a => Show (Constant a b)Defined in transformers-0.6.1.1 · Data.Functor.ConstantGeneric (Constant a b)Defined in transformers-0.6.1.1 · Data.Functor.ConstantSemigroup a => Semigroup (Constant a b)Defined in transformers-0.6.1.1 · Data.Functor.ConstantMonoid a => Monoid (Constant a b)Defined in transformers-0.6.1.1 · Data.Functor.Constanttype Rep (Constant a b) = D1 ('MetaDataDefined in transformers-0.6.1.1 · Data.Functor.Constant"Constant"
"Data.Functor.Constant"
"transformers-0.6.1.1-a11a"
'True) (C1 ('MetaCons"Constant"
'PrefixI 'True) (S1 ('MetaSel ('Just"getConstant"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))type Rep1 (Constant a) = D1 ('MetaDataDefined in transformers-0.6.1.1 · Data.Functor.Constant"Constant"
"Data.Functor.Constant"
"transformers-0.6.1.1-a11a"
'True) (C1 ('MetaCons"Constant"
'PrefixI 'True) (S1 ('MetaSel ('Just"getConstant"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))type Key (Constant e) = VoidDefined in keys-3.12.3 · Data.Key