Nicolas `BeRewt` Biri Profile picture
Idris, Tagless-Final and Boardgames. Smart contract tooling @InputOutputHK. en-fr
Apr 30, 2019 38 tweets 5 min read
1 like = 1 haskell base function. `foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> m`

Fold down a structure using a Monoid.

λ> foldMap Sum [2,4,4]
Sum {getSum = 10}