Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- class GFoldMapNonSum tag gf where
- gFoldMapNonSum :: gf p -> GenericFoldMapM tag
Documentation
class GFoldMapNonSum tag gf where Source #
foldMap
over generic product data types.
Take a generic representation, map each field in the data type to a Monoid
,
and combine the results with (<>
).
gFoldMapNonSum :: gf p -> GenericFoldMapM tag Source #
Instances
GFoldMapNonSum (tag :: k1) (V1 :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum gFoldMapNonSum :: forall (p :: k10). V1 p -> GenericFoldMapM tag Source # | |
GFoldMapNonSum (tag :: k1) (l :+: r :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum gFoldMapNonSum :: forall (p :: k10). (l :+: r) p -> GenericFoldMapM tag Source # | |
GFoldMapC tag gf => GFoldMapNonSum (tag :: k1) (C1 c gf :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum gFoldMapNonSum :: forall (p :: k10). C1 c gf p -> GenericFoldMapM tag Source # | |
GFoldMapNonSum tag gf => GFoldMapNonSum (tag :: k1) (D1 c gf :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum gFoldMapNonSum :: forall (p :: k10). D1 c gf p -> GenericFoldMapM tag Source # |