fold関数
Foldable型クラスのmethodの1つ
FoldableからMonoidを作る
定義
1.hsfold :: (Monoid m, Foldable t) => t m -> m
fold = foldr mappend memptyfoldMapをやや特殊化したものである
foldMapの引数
f に、何もしない id を与える2.hsfoldMap f = foldr (mappend . f) mempty
fold = foldMap idこのfoldMapの定義をインライン展開したものが、
1.hs 意味としては全く同じ
具体例
MonodとしてList、 FoldableとしてListを選択
hsconcat :: [[a]] -> [a]
concat = foldr (++) []使用例
hsfold [[1],[2],[3]] -- [1,2,3]
concat [[1],[2],[3]] -- [1,2,3]参考