1
1
mirror of https://github.com/github/semantic.git synced 2024-11-25 02:58:36 +03:00

📝 gfoldMap1.

This commit is contained in:
Rob Rix 2019-09-24 17:07:16 -04:00
parent ea2d2ca324
commit e05a98cc2d
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -41,6 +41,7 @@ yield = tell . Endo . (:)
class GFoldable1 c t where class GFoldable1 c t where
-- | Generically map functions over fields of kind @* -> *@, monoidally combining the results.
gfoldMap1 gfoldMap1
:: Monoid b :: Monoid b
=> (forall f . c f => f a -> b) => (forall f . c f => f a -> b)