Add a strict version of foldMap to Foldable
authorSimon Jakobi <simon.jakobi@gmail.com>
Mon, 15 Oct 2018 17:55:37 +0000 (13:55 -0400)
committerBen Gamari <ben@smart-cactus.org>
Mon, 15 Oct 2018 23:24:17 +0000 (19:24 -0400)
Summary:
Original proposal by Andrew Martin:
https://mail.haskell.org/pipermail/libraries/2018-June/028852.html

Reviewers: andrewthad, hvr, bgamari, alpmestan, tdammers

Reviewed By: bgamari, alpmestan, tdammers

Subscribers: alpmestan, rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4924

libraries/base/Data/Foldable.hs
libraries/base/changelog.md

index f5f3112..cc0f348 100644 (file)
@@ -130,6 +130,12 @@ class Foldable t where
     -- This INLINE allows more list functions to fuse. See Trac #9848.
     foldMap f = foldr (mappend . f) mempty
 
+    -- | A variant of 'foldMap' that is strict in the accumulator.
+    --
+    -- @since 4.13.0.0
+    foldMap' :: Monoid m => (a -> m) -> t a -> m
+    foldMap' f = foldl' (\ acc a -> acc <> f a) mempty
+
     -- | Right-associative fold of a structure.
     --
     -- In the case of lists, 'foldr', when applied to a binary operator, a
index 3709a0a..bfa8cb9 100644 (file)
@@ -10,6 +10,8 @@
     a representational one. There is really no reason to care about the
     type of the underlying object.
 
+  * Add `foldMap'`, a strict version of `foldMap`, to `Foldable`.
+
 ## 4.12.0.0 *TBA*
   * Bundled with GHC *TBA*