| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Generic.Data.Function.Contra.NonSum
Documentation
class GContraNonSum tag gf where Source #
Methods
gContraNonSum :: GenericContraF tag (gf p) Source #
Instances
| (Contravariant (GenericContraF tag), GContraNonSumD tag gf) => GContraNonSum (tag :: k1) (C1 c gf :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Contra.NonSum Methods gContraNonSum :: forall (p :: k10). GenericContraF tag (C1 c gf p) Source # | |
class GContraNonSumD tag gf where Source #
Methods
gContraNonSumD :: GenericContraF tag (gf p) Source #
Instances
| Divisible (GenericContraF tag) => GContraNonSumD (tag :: k1) (V1 :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Contra.NonSum Methods gContraNonSumD :: forall (p :: k10). GenericContraF tag (V1 p) Source # | |
| GContraNonSumD (tag :: k1) (l :+: r :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Contra.NonSum Methods gContraNonSumD :: forall (p :: k10). GenericContraF tag ((l :+: r) p) Source # | |
| (Contravariant (GenericContraF tag), GContraC tag gf) => GContraNonSumD (tag :: k1) (C1 c gf :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Contra.NonSum Methods gContraNonSumD :: forall (p :: k10). GenericContraF tag (C1 c gf p) Source # | |