Analog của `<<% ~` không đòi hỏi monoid cho Traversal

Question

Tôi cần một chức năng như <<%~ mà sẽ hành động với Traversal s trong thời trang tương tự như ^?, như thế này:

(<<?%~) :: Traversal s t a b -> (a -> b) -> s -> (Maybe a, t) 

> ix 0 <<?%~ succ $ [1,2] 
(Just 1,[2,2]) 
> ix 1 <<?%~ succ $ [1,2] 
(Just 2,[1,3]) 
> ix 2 <<?%~ succ $ [1,2] 
(Nothing,[1,2]) 

Làm thế nào tôi nên thực hiện nó? Cách rõ ràng là áp dụng riêng biệt ^? và %~, nhưng tôi muốn một giải pháp trong một lần.

Answer 1

Nếu chúng tôi không muốn yêu cầu ràng buộc Monoid đối với các mục tiêu, chúng tôi phải chỉ định chính mình là Monoid sẽ được sử dụng để kết hợp các yếu tố cũ trong quá trình truyền tải. Vì mục tiêu là một cái gì đó tương tự như ^?, monoid thích hợp là First.

(<<?%~) :: LensLike ((,) (First a)) s t a b -> (a -> b) -> s -> (Maybe a, t) 
l <<?%~ f = first getFirst . (l $ \a -> (First (Just a), f a))