如果在深鏡頭查找/分配中某處遇到`Nothing`，是否可以設置默認值？

Question

如果在深鏡頭查找/分配中某處遇到Nothing，是否可以設置默認值？

E.g.爲查找：

(Just (4, 3), 2) ^. _1 . (maybe (6, 5)) . _1 == 4 
(Nothing,  2) ^. _1 . (maybe (6, 5)) . _1 == 6 

或許更重要的是，分配：

((Just (4, 3), 2) & _1 . (maybe (6, 5)) . _1 .~ 7) == (Just (7, 3), 2) 
((Nothing,  2) & _1 . (maybe (6, 5)) . _1 .~ 7) == (Just (7, 5), 2) 

Answer 1

您可以使用non :: Eq a => a -> Iso' (Maybe a) a在Eq a => Maybe a和 (see also)之間創建Iso。

(Nothing, 2) ^. _1 . non (6, 5) . _1 == 6 
((Nothing, 2) & _1 . non (6, 5) . _1 .~ 7) == (Just (7, 5), 2) 

Answer 2

是的，這似乎是可能的：

let 
    df :: Functor f => a -> (a -> f b) -> Maybe a -> f (Maybe b) 
    df d = lens (maybe d id) (const Just) 

(Just (4, 3), 2) ^. _1 . df (6, 5) . _1 `shouldBe` 4 
(Nothing,  2) ^. _1 . df (6, 5) . _1 `shouldBe` 6 

((Nothing,  2) & _1 . df (6, 5) . _1 .~ 7) `shouldBe` (Just (7, 5), 2) 
((Just (4, 3), 2) & _1 . df (6, 5) . _1 .~ 7) `shouldBe` (Just (7, 3), 2) 

注：我在重新認識的過程我自己與鏡頭，所以如果有人知道這樣做的更好的方式請告訴 - 例如如果有內置功能相當於df。