| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Generic.Data.Function.FoldMap.Sum
Documentation
class GFoldMapSum m f where Source #
Methods
gFoldMapSum :: (String -> m) -> f p -> m Source #
Instances
| (TypeError ENoEmpty :: Constraint) => GFoldMapSum m (V1 :: k -> Type) Source # | |
Defined in Generic.Data.Function.FoldMap.Sum Methods 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 Methods 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 Methods 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 Methods gFoldMapSum :: forall (p :: k0). (String -> m) -> D1 c f p -> m Source # | |
class GFoldMapCSum m f where Source #
Methods
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 Methods 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 Methods gFoldMapCSum :: forall (p :: k0). (String -> m) -> C1 c f p -> m Source # | |