| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Generic.Data.Function.FoldMap.Constructor
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 #
Associated Types
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.
Methods
genericFoldMapF :: GenericFoldMapC m a => a -> m Source #
The "map" function in foldMap (first argument).
Instances
| GenericFoldMap Showly Source # | |
Defined in Generic.Data.Function.Example Associated Types type GenericFoldMapC Showly a Source # Methods genericFoldMapF :: GenericFoldMapC Showly a => a -> Showly Source # | |
| Monoid m => GenericFoldMap (EmptyRec0 m) Source # | |
Defined in Generic.Data.Function.FoldMap.Constructor Associated Types type GenericFoldMapC (EmptyRec0 m) a Source # Methods genericFoldMapF :: GenericFoldMapC (EmptyRec0 m) a => a -> EmptyRec0 m Source # | |
| GenericFoldMap (NoRec0 m) Source # |
|
Defined in Generic.Data.Function.FoldMap.Constructor Associated Types type GenericFoldMapC (NoRec0 m) a Source # Methods 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 # | |