Lift the given function.
Modulegenerics-sop-0.5.1.4Haskell2010
Generics.SOP.BasicFunctors
- 3 types
- 15 values
- Packagegenerics-sop-0.5.1.4
- Exports18
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceBasicFunctors.hs
Lift the given function.
Lift the given function.
Lift the given function.
Lift the given function.
Lift the given function.
Lift the given function.
Lift the given function.
Lift the given function.
Lift the given function.
Lift the given function.
Lift the given function.
Extract the contents of a Comp value.
Extract the contents of an I value.
Extract the contents of a K value.
Composition of functors.
Like Compose, but kind-polymorphic and with a shorter name.
Constructors
Comp (f (g p))
Instances22Functor, Applicative, Foldable, Traversable, Eq1, Ord1, …
(Functor f, Functor g) => Functor (f :.: g)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Applicative f, Applicative g) => Applicative (f :.: g)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Foldable f, Foldable g) => Foldable (f :.: g)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Traversable f, Traversable g) => Traversable (f :.: g)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Eq1 f, Eq1 g) => Eq1 (f :.: g)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Ord1 f, Ord1 g) => Ord1 (f :.: g)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Read1 f, Read1 g) => Read1 (f :.: g)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Show1 f, Show1 g) => Show1 (f :.: g)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(NFData1 f, NFData1 g) => NFData1 (f :.: g)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Eq1 f, Eq1 g, Eq a) => Eq ((:.:) f g a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Ord1 f, Ord1 g, Ord a) => Ord ((:.:) f g a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Read1 f, Read1 g, Read a) => Read ((:.:) f g a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors(Show1 f, Show1 g, Show a) => Show ((:.:) f g a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsGeneric ((:.:) f g p)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsSemigroup (f (g x)) => Semigroup ((:.:) f g x)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsMonoid (f (g x)) => Monoid ((:.:) f g x)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsNFData (f (g a)) => NFData ((:.:) f g a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsGeneric ((:.:) f g p)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphanHasDatatypeInfo ((:.:) f g p)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphantype Rep ((:.:) f g p) = D1 ('MetaDataDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors":.:"
"Data.SOP.BasicFunctors"
"sop-core-0.5.0.2-ISrDzEHQyYg6yDbPvLPqOF"
'True) (C1 ('MetaCons"Comp"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (g p)))))type Code ((:.:) f g p) = '['[f (g p)]]Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphantype DatatypeInfoOf ((:.:) f g p) = 'NewtypeDefined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan"Data.SOP.BasicFunctors"
":.:"
('Constructor"Comp"
)
Instances23Monad, Functor, Applicative, Foldable, Traversable, Eq1, …
Monad IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsFunctor IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsApplicative IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsFoldable IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsTraversable IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsEq1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsOrd1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsRead1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsShow1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsNFData1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsEq a => Eq (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsOrd a => Ord (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsRead a => Read (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsShow a => Show (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsGeneric (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsSemigroup a => Semigroup (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsMonoid a => Monoid (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsNFData a => NFData (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsGeneric (I a)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphanHasDatatypeInfo (I a)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphantype Rep (I a) = D1 ('MetaDataDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors"I"
"Data.SOP.BasicFunctors"
"sop-core-0.5.0.2-ISrDzEHQyYg6yDbPvLPqOF"
'True) (C1 ('MetaCons"I"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))type Code (I a) = '['[a]]Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphantype DatatypeInfoOf (I a) = 'NewtypeDefined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan"Data.SOP.BasicFunctors"
"I"
('Constructor"I"
)
The constant type functor.
Like Constant, but kind-polymorphic
in its second argument and with a shorter name.
Constructors
K a
Instances27Eq2, Ord2, Read2, Show2, NFData2, Functor, …
Eq2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsOrd2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsRead2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsShow2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsNFData2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsFunctor (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsMonoid a => Applicative (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsFoldable (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsTraversable (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsEq a => Eq1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsOrd a => Ord1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsRead a => Read1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsShow a => Show1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsNFData a => NFData1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsEq a => Eq (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsOrd a => Ord (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsRead a => Read (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsShow a => Show (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsGeneric (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsSemigroup a => Semigroup (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsMonoid a => Monoid (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsNFData a => NFData (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctorsGeneric (K a b)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphanHasDatatypeInfo (K a b)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphantype Rep (K a b) = D1 ('MetaDataDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors"K"
"Data.SOP.BasicFunctors"
"sop-core-0.5.0.2-ISrDzEHQyYg6yDbPvLPqOF"
'True) (C1 ('MetaCons"K"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))type Code (K a b) = '['[a]]Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphantype DatatypeInfoOf (K a b) = 'NewtypeDefined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan"Data.SOP.BasicFunctors"
"K"
('Constructor"K"
)