Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- class GFoldMapNonSum m f where
- gFoldMapNonSum :: f p -> m
Documentation
class GFoldMapNonSum m f 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 :: f p -> m Source #
Instances
(TypeError ENoEmpty :: Constraint) => GFoldMapNonSum m (V1 :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum gFoldMapNonSum :: forall (p :: k0). V1 p -> m Source # | |
(TypeError EUnexpectedSum :: Constraint) => GFoldMapNonSum m (l :+: r :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum gFoldMapNonSum :: forall (p :: k0). (l :+: r) p -> m Source # | |
GFoldMapC m f => GFoldMapNonSum m (C1 c f :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum gFoldMapNonSum :: forall (p :: k0). C1 c f p -> m Source # | |
GFoldMapNonSum m f => GFoldMapNonSum m (D1 c f :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum gFoldMapNonSum :: forall (p :: k0). D1 c f p -> m Source # |