可能有人解释功能的镜头给我吗? 这是一个令人惊讶的困难受到谷歌,我还没有取得任何进展。 我所知道的是,他们提供类似的get / set功能比OO。
Answer 1:
透镜包括两个功能,一个吸气剂和一个setter:
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)
Answer 2:
一看便知质疑镜头,fclabels,数据访问-这库结构访问和突变是更好 -它有一个镜头非常明确的解释。
此外,对于文档Data.Lenses和fclabel库给正在使用他们的一些很好的例子。
文章来源: Functional lenses