功能性隐形眼镜

有人能给我解释一下功能性眼镜吗？这是一个令人惊讶的困难的主题谷歌，我没有取得任何进展。我所知道的是，它们提供了与 OO 相似的 get/set 功能。

16537 次浏览
小开

看问题的答案 透镜，光标，数据访问器-哪个库的结构访问和变异是更好的-它有一个非常清楚的解释镜头。

此外，数据，镜头和 Fclabel库的文档提供了一些使用它们的很好的示例。

小开
最佳答案

透镜由两个功能组成，一个读数器和一个读数器:

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)

提交答案