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) memptyProductMonoid的用法示例:
product :: (Num n, Foldable t) => t n -> n product = getProduct . foldMap Product
热门推荐
10 八一幼儿祝福语大全简短
11 公司乔迁食堂祝福语简短
12 婚礼结束聚餐祝福语简短
13 儿媳买车妈妈祝福语简短
14 毕业送礼老师祝福语简短
15 同事辞职正常祝福语简短
16 恭贺新婚文案祝福语简短
17 金店立秋祝福语简短英文
18 婆婆高寿祝福语大全简短