[英]Functional lenses
有人可以向我解释功能性镜片吗? 对谷歌而言,这是一个令人惊讶的难度,我没有取得任何进展。 我所知道的是,它们提供了类似于OO的获取/设置功能。
镜头由两个功能组成:吸气剂和定位器:
data Lens a b = Lens { getter :: a -> b, setter :: b -> a -> a }
例如,我们可能有一对镜头用于第一和第二部分:
fstLens :: Lens (a, b) a
fstLens = Lens fst $ \x (a, b) -> (x, b)
sndLens :: Lens (a, b) b
sndLens = Lens snd $ \x (a, b) -> (a, x)
镜头的真正便利之处在于它们构成:
compose :: Lens b c -> Lens a b -> Lens a c
compose f g = Lens (getter f . getter g) $
\c a -> setter g (setter f c (getter g a)) a
他们机械地转换为State
转换:
lensGet :: MonadState s m => Lens s a -> m a
lensGet = gets . getter
lensSet :: MonadState s m => Lens s b -> b -> m ()
lensSet f = modify . setter f
lensMod :: MonadState s m => Lens s b -> (b -> b) -> m ()
lensMod f g = modify $ setter f =<< g . getter f
(+=) :: (MonadState s m, Num b) => Lens s b -> b -> m ()
f += x = lensMod f (+ x)
查看问题镜头,fclabels,数据访问器的答案- 结构访问和变异的库更好 - 它对镜头有一个非常明确的解释。
此外, Data.Lenses和fclabel库的文档提供了一些使用它们的好例子。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.