generic-data-functions-0.5.1: Familiar functions lifted to generic data types

Safe Haskell	Safe-Inferred
Language	GHC2021

Generic.Data.Function.Contra.Sum

Documentation

class GContraSum tag gf where Source #

Methods

gContraSum :: GenericContraF tag String -> GenericContraF tag (gf p) Source #

Instances

Instances details

(GContraSumD tag gf, Contravariant (GenericContraF tag)) => GContraSum (tag :: k1) (D1 cd gf :: k2 -> Type) Source #
Instance details Defined in Generic.Data.Function.Contra.Sum Methods gContraSum :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag (D1 cd gf p) Source #

class GContraSumD tag gf where Source #

Methods

gContraSumD :: GenericContraF tag String -> GenericContraF tag (gf p) Source #

Instances

Instances details

Divisible (GenericContraF tag) => GContraSumD (tag :: k1) (V1 :: k2 -> Type) Source #
Instance details Defined in Generic.Data.Function.Contra.Sum Methods gContraSumD :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag (V1 p) Source #
GContraCSum tag (l :+: r) => GContraSumD (tag :: k1) (l :+: r :: k2 -> Type) Source #
Instance details Defined in Generic.Data.Function.Contra.Sum Methods gContraSumD :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag ((l :+: r) p) Source #
GContraCSum tag (C1 cc gf) => GContraSumD (tag :: k1) (C1 cc gf :: k2 -> Type) Source #
Instance details Defined in Generic.Data.Function.Contra.Sum Methods gContraSumD :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag (C1 cc gf p) Source #

class GContraCSum tag gf where Source #

Methods

gContraCSum :: GenericContraF tag String -> GenericContraF tag (gf p) Source #

Instances

Instances details

(Decidable (GenericContraF tag), GContraCSum tag l, GContraCSum tag r) => GContraCSum (tag :: k1) (l :+: r :: k2 -> Type) Source #
Instance details Defined in Generic.Data.Function.Contra.Sum Methods gContraCSum :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag ((l :+: r) p) Source #
(Divisible (GenericContraF tag), GContraC tag gf, Constructor c) => GContraCSum (tag :: k1) (C1 c gf :: k2 -> Type) Source #
Instance details Defined in Generic.Data.Function.Contra.Sum Methods gContraCSum :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag (C1 c gf p) Source #