| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Generic.Data.Function.Contra.Sum
Documentation
class GContraSum (opts :: SumOpts) tag gf where Source #
Methods
gContraSum :: GenericContraF tag String -> GenericContraF tag (gf p) Source #
Instances
| GContraSum opts (tag :: k1) (V1 :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Contra.Sum Methods gContraSum :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag (V1 p) Source # | |
| GContraCSum tag (C1 c g) => GContraSum 'AllowSingletonSum (tag :: k1) (C1 c g :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Contra.Sum Methods gContraSum :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag (C1 c g p) Source # | |
| GContraSum 'SumOnly (tag :: k1) (C1 c g :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Contra.Sum Methods gContraSum :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag (C1 c g p) Source # | |
| GContraCSum tag (l :+: r) => GContraSum opts (tag :: k1) (l :+: r :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Contra.Sum Methods gContraSum :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag ((l :+: r) p) Source # | |
class GContraCSum tag gf where Source #
Methods
gContraCSum :: GenericContraF tag String -> GenericContraF tag (gf p) Source #
Instances
| (Decidable (GenericContraF tag), GContraCSum tag l, GContraCSum tag r) => GContraCSum (tag :: k1) (l :+: r :: k2 -> Type) Source # | |
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 # | |
Defined in Generic.Data.Function.Contra.Sum Methods gContraCSum :: forall (p :: k10). GenericContraF tag String -> GenericContraF tag (C1 c gf p) Source # | |