Kết hợp ống kính

Question

Sử dụng một ống kính thư viện tôi có thể áp dụng một chức năng sửa đổi các mục tiêu cá nhân, như vậy:

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

Làm thế nào tôi có thể kết hợp những thấu kính của cá nhân (_1 và _3) để có thể thực hiện cập nhật này cho cả hai mục tiêu cùng một lúc? Tôi hy vọng điều gì đó trong tinh thần của những điều sau đây:

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

Answer 1

Sử dụng untainted từ lớp Settable gõ Control.Lens.Internal.Setter, nó có thể kết hợp hai setters, nhưng kết quả cũng sẽ chỉ là một setter và không phải là một 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 

Bạn có thể kiểm tra điều này:

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

EDIT

Bạn không thực sự cần phải sử dụng các chức năng bên trong. Bạn có thể sử dụng thực tế là mutator là một đơn nguyên:

{-# 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 

Answer 2

Có sự khác biệt về những gì bạn đang yêu cầu mà là tổng quát hơn:

(/\) 
    :: (Functor f) 
    => ((a -> (a, a)) -> (c -> (a, c))) 
    --^Lens' c a 
    -> ((b -> (b, b)) -> (c -> (b, c))) 
    --^Lens' c b 
    -> (((a, b) -> f (a, b)) -> (c -> f c)) 
    --^Lens' c (a, b) 
(lens1 /\ lens2) f c0 = 
    let (a, _) = lens1 (\a_ -> (a_, a_)) c0 
     (b, _) = lens2 (\b_ -> (b_, b_)) c0 
     fab = f (a, b) 
    in fmap (\(a, b) -> 
      let (_, c1) = lens1 (\a_ -> (a_, a)) c0 
       (_, c2) = lens2 (\b_ -> (b_, b)) c1 
      in c2 
      ) fab 

infixl 7 /\ 

Chỉ cần tập trung vào các loại chữ ký với loại ống kính từ đồng nghĩa :

Lens' c a -> Lens' c b -> Lens' c (a, b) 

Phải mất hai ống kính và kết hợp chúng thành ống kính với một cặp trường. Điều này hơi chung chung hơn và hoạt động để kết hợp các thấu kính trỏ đến các trường thuộc nhiều loại khác nhau. Tuy nhiên, sau đó bạn phải thay đổi riêng hai trường.

Tôi chỉ muốn ném giải pháp này ra khỏi đó trong trường hợp mọi người đang tìm kiếm thứ như thế này.