Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
class GFoldMapSum m f where Source #
gFoldMapSum :: (String -> m) -> f p -> m Source #
Instances
(TypeError ENoEmpty :: Constraint) => GFoldMapSum m (V1 :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum gFoldMapSum :: forall (p :: k0). (String -> m) -> V1 p -> m Source # | |
GFoldMapCSum m (l :+: r) => GFoldMapSum m (l :+: r :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum gFoldMapSum :: forall (p :: k0). (String -> m) -> (l :+: r) p -> m Source # | |
(TypeError EUnexpectedNonSum :: Constraint) => GFoldMapSum m (C1 c f :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum gFoldMapSum :: forall (p :: k0). (String -> m) -> C1 c f p -> m Source # | |
GFoldMapSum m f => GFoldMapSum m (D1 c f :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum gFoldMapSum :: forall (p :: k0). (String -> m) -> D1 c f p -> m Source # |
class GFoldMapCSum m f where Source #
gFoldMapCSum :: (String -> m) -> f p -> m Source #
Instances
(GFoldMapCSum m l, GFoldMapCSum m r) => GFoldMapCSum m (l :+: r :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum gFoldMapCSum :: forall (p :: k0). (String -> m) -> (l :+: r) p -> m Source # | |
(Semigroup m, Constructor c, GFoldMapC m f) => GFoldMapCSum m (C1 c f :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum gFoldMapCSum :: forall (p :: k0). (String -> m) -> C1 c f p -> m Source # |