HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulegenerics-sop-0.5.1.4Haskell2010

Generics.SOP.BasicFunctors

  • 3 types
  • 15 values
newtypenewtype K a (b :: k)
#

The constant type functor.

Like Constant, but kind-polymorphic in its second argument and with a shorter name.

Constructors

Instances27Eq2, Ord2, Read2, Show2, NFData2, Functor, …
  • Eq2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Ord2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Read2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Show2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • NFData2 KDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Functor (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Monoid a => Applicative (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Foldable (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Traversable (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Eq a => Eq1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Ord a => Ord1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Read a => Read1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Show a => Show1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • NFData a => NFData1 (K a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Eq a => Eq (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Ord a => Ord (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Read a => Read (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Show a => Show (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Generic (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Semigroup a => Semigroup (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Monoid a => Monoid (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • NFData a => NFData (K a b)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Generic (K a b)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan
  • HasDatatypeInfo (K a b)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan
  • type Rep (K a b) = D1 ('MetaData "K" "Data.SOP.BasicFunctors" "sop-core-0.5.0.2-H2UXoHYAvEiC36SsvaWSBU" 'True) (C1 ('MetaCons "K" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • type Code (K a b) = '['[a]]Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan
  • type DatatypeInfoOf (K a b) = 'Newtype "Data.SOP.BasicFunctors" "K" ('Constructor "K")Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan
valueunK :: K a b -> a
#

Extract the contents of a K value.

newtypenewtype I a
#

The identity type functor.

Like Identity, but with a shorter name.

Constructors

Instances23Monad, Functor, Applicative, Foldable, Traversable, Eq1, …
  • Monad IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Functor IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Applicative IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Foldable IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Traversable IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Eq1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Ord1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Read1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Show1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • NFData1 IDefined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Eq a => Eq (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Ord a => Ord (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Read a => Read (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Show a => Show (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Generic (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Semigroup a => Semigroup (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Monoid a => Monoid (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • NFData a => NFData (I a)Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • Generic (I a)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan
  • HasDatatypeInfo (I a)Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan
  • type Rep (I a) = D1 ('MetaData "I" "Data.SOP.BasicFunctors" "sop-core-0.5.0.2-H2UXoHYAvEiC36SsvaWSBU" 'True) (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in sop-core-0.5.0.2 · Data.SOP.BasicFunctors
  • type Code (I a) = '['[a]]Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan
  • type DatatypeInfoOf (I a) = 'Newtype "Data.SOP.BasicFunctors" "I" ('Constructor "I")Defined in generics-sop-0.5.1.4 · Generics.SOP.Instances · orphan
valueunI :: I a -> a
#

Extract the contents of an I value.

newtypenewtype (:.:) (f :: l -> Type) (g :: k -> l) (p :: k)
#

Composition of functors.

Like Compose, but kind-polymorphic and with a shorter name.

Constructors

Instances22Functor, Applicative, Foldable, Traversable, Eq1, Ord1, …
valueunComp :: (:.:) f g p -> f (g p)
#

Extract the contents of a Comp value.

valuemapII :: (a -> b) -> I a -> I b
#

Lift the given function.

valuemapIK :: (a -> b) -> I a -> K b c
#

Lift the given function.

valuemapKI :: (a -> b) -> K a c -> I b
#

Lift the given function.

valuemapKK :: (a -> b) -> K a c -> K b d
#

Lift the given function.

valuemapIII :: (a -> b -> c) -> I a -> I b -> I c
#

Lift the given function.

valuemapIIK :: (a -> b -> c) -> I a -> I b -> K c d
#

Lift the given function.

valuemapIKI :: (a -> b -> c) -> I a -> K b d -> I c
#

Lift the given function.

valuemapIKK :: (a -> b -> c) -> I a -> K b d -> K c e
#

Lift the given function.

valuemapKII :: (a -> b -> c) -> K a d -> I b -> I c
#

Lift the given function.

valuemapKIK :: (a -> b -> c) -> K a d -> I b -> K c e
#

Lift the given function.

valuemapKKI :: (a -> b -> c) -> K a d -> K b e -> I c
#

Lift the given function.

valuemapKKK :: (a -> b -> c) -> K a d -> K b e -> K c f
#

Lift the given function.