| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Generic.Data.Function.FoldMap.NonSum
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 (<>).
Methods
gFoldMapNonSum :: f p -> m Source #
Instances
| (TypeError ENoEmpty :: Constraint) => GFoldMapNonSum m (V1 :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.NonSum Methods 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 Methods 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 Methods 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 Methods gFoldMapNonSum :: forall (p :: k0). D1 c f p -> m Source # | |