Haskell将可折叠结构展平为Monoid

示例

foldMap将Foldable结构的每个元素映射到Monoid,然后将它们组合为一个值。

foldMap并且foldr可以彼此定义,这意味着Foldable需求实例仅对其中之一进行了定义。

class Foldable t where
    foldMap :: Monoid m => (a -> m) -> t a -> m
    foldMap f = foldr (mappend . f) mempty

ProductMonoid的用法示例:

product :: (Num n, Foldable t) => t n -> n
product = getProduct . foldMap Product