haskell - 组合镜头

Question

使用 镜头 库我可以将修改功能应用于单个目标，如下所示:

Prelude Control.Lens> (1, 'a', 2) & _1 %~ (*3)
(3,'a',2)
Prelude Control.Lens> (1, 'a', 2) & _3 %~ (*3)
(1,'a',6)

如何组合这些单独的镜头( _1 和 _3 )以便能够同时对两个目标执行此更新？我期望本着以下精神:

Prelude Control.Lens> (1, 'a', 2) & ??? %~ (*3)
(3,'a',6)

Answer 1

使用 untainted来自 Settable在 Control.Lens.Internal.Setter 中键入类，可以组合两个 setter，但结果也只会是 setter 而不是 getter。

import Control.Lens.Internal.Setter

-- (&&&) is already taken by Control.Arrow
(~&~) :: (Settable f) => (c -> d -> f a) -> (c -> a -> t) -> c -> d -> t
(~&~) a b f = b f . untainted . a f

您可以对此进行测试:

>>> import Control.Lens
>>> (1, 'a', 2) & (_1 ~&~ _3) %~ (*3)
(3,'a',6)

编辑

您实际上不需要使用内部函数。您可以使用 Mutator 是一个 monad 的事实:

{-# LANGUAGE NoMonomorphismRestriction #-}

import Control.Monad
import Control.Applicative

(~&~) = liftA2 (>=>)

-- This works too, and is maybe easier to understand: 
(~&~) a b f x = a f x >>= b f