功能性镜片(lens function)

有人可以向我解释功能镜头吗?这是一个令人惊讶的困难主题 google for 和我没有取得任何进展。我所知道的是,他们提供类似的 get / set 功能比在 OO

有人可以向我解释功能镜头吗?这是一个令人惊讶的困难主题 google for 和我没有取得任何进展。我所知道的是,他们提供类似的 get / set 功能比在 OO

62

镜头由两个函数组成,一个 getter 和一个 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)
12

请参阅问题lenses, fclabels, data-accessor - which library for structure access and mutation is better的答案-它对镜头有非常明确的解释。

此外,Data.Lensesfclabel库的文档给出了一些使用它们的好例子。

本站系公益性非盈利分享网址,本文来自用户投稿,不代表码文网立场,如若转载,请注明出处

(232)
使用Gelf集成JavaGrayLog
上一篇
基因本体论(GO)分析中的一系列基因(带有ENTREZID)
下一篇

相关推荐

发表评论

登录 后才能评论

评论列表(1条)