haskellのlensの使い方 (やばめ)
Traversal
,Fold
,MonadicFold
,Action
に関して
Haskellのlensの使い方 (詳しめ)の続き ちょっとだけ
Lens で Haskell をもっと格好良く! for 2013/3/31 ekmett 勉強会 ちゅーん
Fold
type Fold s a = forall f. (Contravariant f, Applicative f) => (a -> f a) -> s -> f s
folded :: Foldable t => Fold (t a) a
foldMapOf :: Monoid m => Fold s a -> (a -> m) -> s -> m
view :: Monoid m => Fold s m -> s -> m
A
Fold
s a is a generalization of somethingFoldable
.
A
Fold
describes how to retrieve multiple values in a way that can be composed with otherLensLike
constructions.
Foldable
の一般化Applicative
制約はエラーメッセージとかの都合であって本質的ではないContravariant
は反変関手- 任意の
Getter
はFold
参考
- https://hackage.haskell.org/package/lens
- https://hackage.haskell.org/package/base
lens-4.6.0.1
base-4.7.0.1
haskellのlensの使い方 (やばめ)
- Sun Jun 21 01:52:37 JST 2015
- もっと詳しく書きたす予定だったけど、たぶんその機会はないので修正