Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- class GenericFoldMap m where
- type GenericFoldMapC m a :: Constraint
- genericFoldMapF :: GenericFoldMapC m a => a -> m
- class GFoldMapC m f where
- gFoldMapC :: f p -> m
Documentation
class GenericFoldMap m where Source #
type GenericFoldMapC m a :: Constraint Source #
The type class that enables mapping permitted types to the monoid.
The type class should provide a function that looks like
genericFoldMapF
.
genericFoldMapF :: GenericFoldMapC m a => a -> m Source #
The "map" function in foldMap
(first argument).
Instances
Monoid m => GenericFoldMap (EmptyRec0 m) Source # | |
Defined in Generic.Data.Function.FoldMap.Constructor type GenericFoldMapC (EmptyRec0 m) a Source # genericFoldMapF :: GenericFoldMapC (EmptyRec0 m) a => a -> EmptyRec0 m Source # | |
GenericFoldMap (NoRec0 m) Source # |
|
Defined in Generic.Data.Function.FoldMap.Constructor type GenericFoldMapC (NoRec0 m) a Source # genericFoldMapF :: GenericFoldMapC (NoRec0 m) a => a -> NoRec0 m Source # |
class GFoldMapC m f where Source #
foldMap
on individual constructors (products).
Instances
Monoid m => GFoldMapC m (U1 :: k -> Type) Source # | Wow, look! Nothing! |
Defined in Generic.Data.Function.FoldMap.Constructor | |
(Semigroup m, GFoldMapC m l, GFoldMapC m r) => GFoldMapC m (l :*: r :: k -> Type) Source # |
|
Defined in Generic.Data.Function.FoldMap.Constructor | |
(GenericFoldMap m, GenericFoldMapC m a) => GFoldMapC m (S1 c (Rec0 a) :: k -> Type) Source # | |