blob: 16b22ac9aed83e9d8b3efb3658047a72642ce6b7 (
plain)
1
2
3
4
5
6
|
-- What is the type of foldMap . foldMap? Or foldMap . foldMap . foldMap, etc.? What do they do?
foldMap :: Monoid m => (a -> m) -> t a -> m
foldMap . foldMap :: (Foldable t, Foldable t1, Monoid m) => (a -> m) -> t (t1 a) -> m
-- They fold for multi-level of foldables
|
