haskell - 使用 Haskell 镜头库，我如何将 setter/getter 视为 `first class' ？

Question

我注意到我通常构建使用镜头获取值的函数，将一些函数应用于值并返回结果。例如，对一对元素求和
\pair -> (pair ^. _1) + (pair ^. _2)
我觉得应该有一些组合器来组合第一类 setter/getter 并返回另一个 setter/getter (可能是 (b -> c -> d) -> Getter a b -> Getter a c -> Getter a d 类型)。有什么帮助吗？

Answer 1

您可以随时使用 Applicative (->) 的实例

(+) <$> view _1 <*> view _2 :: Num a => (a,a) -> a

或者，一般来说，您可能会得到 Monoid 的帮助。 Getter 的实例s

>>> view (_1 <> _2) (Sum 1, Sum 2)
Sum {getSum = 3}