| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Generic.Data.Function.FoldMap.Sum
Documentation
class GFoldMapSum tag sumtag gf where Source #
Methods
gFoldMapSum :: ParseCstrTo sumtag (GenericFoldMapM tag) -> gf p -> GenericFoldMapM tag Source #
Instances
| GFoldMapSumD tag sumtag dtName gf => GFoldMapSum (tag :: k1) (sumtag :: k2) (D1 ('MetaData dtName _md2 _md3 _md4) gf :: k3 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum Methods gFoldMapSum :: forall (p :: k20). ParseCstrTo sumtag (GenericFoldMapM tag) -> D1 ('MetaData dtName _md2 _md3 _md4) gf p -> GenericFoldMapM tag Source # | |
class GFoldMapSumD tag sumtag dtName gf where Source #
Methods
gFoldMapSumD :: ParseCstrTo sumtag (GenericFoldMapM tag) -> gf p -> GenericFoldMapM tag Source #
Instances
| GFoldMapSumD (tag :: k1) (sumtag :: k2) (dtName :: k3) (V1 :: k4 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum Methods gFoldMapSumD :: forall (p :: k30). ParseCstrTo sumtag (GenericFoldMapM tag) -> V1 p -> GenericFoldMapM tag Source # | |
| GFoldMapCSum tag sumtag dtName (l :+: r) => GFoldMapSumD (tag :: k1) (sumtag :: k2) (dtName :: Symbol) (l :+: r :: k3 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum Methods gFoldMapSumD :: forall (p :: k30). ParseCstrTo sumtag (GenericFoldMapM tag) -> (l :+: r) p -> GenericFoldMapM tag Source # | |
| GFoldMapCSum tag sumtag dtName (C1 c gf) => GFoldMapSumD (tag :: k1) (sumtag :: k2) (dtName :: Symbol) (C1 c gf :: k3 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum Methods gFoldMapSumD :: forall (p :: k30). ParseCstrTo sumtag (GenericFoldMapM tag) -> C1 c gf p -> GenericFoldMapM tag Source # | |
class GFoldMapCSum tag sumtag (dtName :: Symbol) gf where Source #
Methods
gFoldMapCSum :: ParseCstrTo sumtag (GenericFoldMapM tag) -> gf p -> GenericFoldMapM tag Source #
Instances
| (GFoldMapCSum tag sumtag dtName l, GFoldMapCSum tag sumtag dtName r) => GFoldMapCSum (tag :: k1) (sumtag :: k2) dtName (l :+: r :: k3 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum Methods gFoldMapCSum :: forall (p :: k20). ParseCstrTo sumtag (GenericFoldMapM tag) -> (l :+: r) p -> GenericFoldMapM tag Source # | |
| (Semigroup (GenericFoldMapM tag), GFoldMapC tag gf, ReifyCstrParseResult sumtag cstrParsed, ForceGCParse dtName cstr (ParseCstr sumtag cstr) ~ cstrParsed) => GFoldMapCSum (tag :: k1) (sumtag :: k3) dtName (C1 ('MetaCons cstr _mc2 _mc3) gf :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum Methods gFoldMapCSum :: forall (p :: k20). ParseCstrTo sumtag (GenericFoldMapM tag) -> C1 ('MetaCons cstr _mc2 _mc3) gf p -> GenericFoldMapM tag Source # | |