एनालॉग के `<<% ~` Traversal

Question

के लिए monoid की जरूरत नहीं मैं <<%~ की तरह एक समारोह जो ^? के लिए इसी तरह फैशन में Traversal रों के साथ काम करते हैं, इस तरह की जरूरत है:

(<<?%~) :: 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]) 

मैं इसे कैसे लागू करना चाहिए? स्पष्ट तरीका ^? और %~ अलग से लागू करना है, लेकिन मुझे एक बार में एक समाधान चाहिए।

Answer 1

यदि हम लक्ष्य पर Monoid बाधा की आवश्यकता नहीं चाहते हैं, तो हमें अपने आप को Monoid निर्दिष्ट करना होगा जिसका उपयोग पुराने तत्वों को ट्रैवर्सल में संयोजित करने के लिए किया जाएगा। चूंकि लक्ष्य ^? के अनुरूप कुछ है, उपयुक्त मोनोइड 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))