| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Generic.Data.Function.FoldMap.NonSum
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 (<>).
Methods
gFoldMapNonSum :: gf p -> GenericFoldMapM tag Source #
Instances
| GFoldMapNonSum (tag :: k1) (V1 :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum Methods gFoldMapNonSum :: forall (p :: k10). V1 p -> GenericFoldMapM tag Source # | |
| GFoldMapNonSum (tag :: k1) (l :+: r :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum Methods 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 Methods 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 Methods gFoldMapNonSum :: forall (p :: k10). D1 c gf p -> GenericFoldMapM tag Source # | |