如何組合鏡頭和仿函數？

Question

我想要習慣於Haskell的lens庫，並發現自己在一些簡單的問題上掙扎。舉例來說，假設（爲了方便），其at和_1有以下幾種類型（這是我的理解他們，至少）：

at :: Ord k => k -> Lens' (Map k v) (Maybe v) 

_1 :: Lens' (a, b) a 

如何合併這些鏡頭與以下類型的鏡頭：

maybeFst :: Ord k => k -> Lens' (Map k (a, b)) (Maybe a) 

Answer 1

你希望像

Lens' (Maybe (a, b)) (Maybe a) 

鏡頭但不能完全是因爲Lens放回Nothing也會影響b。它可以是一個Getter

getA :: Getter (Maybe (a, b)) (Maybe a) 
getA = to (fmap fst) 

但是當你編寫它，你會只是風與一Getter爲好，不是一個完整的Lens

maybeFst :: Ord k => k -> Getter (Map k (a, b)) (Maybe a) 
maybeFst k = at k . getA 

可能會更好比是使用Traversal而不是

maybeFstT :: Ord k => k -> Traversal' (Map k (a, b)) a 
maybeFstT k = at k . _Just . _1 

這將讓你都得到（使用preview或toListOf），並在地圖中的值fst處設置值，但是您將無法修改其在地圖中的存在：如果該值不存在，則不能添加該值，如果該值存在，則無法將其刪除。

---

最後，我們可以陪審團鑽機假Lens具有適當的類型，但我們必須給它一個b

getA :: b -> Lens' (Maybe (a, b)) (Maybe a) 
getA b inj Nothing  = (\x -> (,b) <$> x) <$> inj Nothing 
getA _ inj (Just (a, b)) = (\x -> (,b) <$> x) <$> inj (Just a) 

的默認值，但請注意，它有一些不是非常 - Lens喜歡的行爲。

>>> Just (1, 2) & getA 0 .~ Nothing & preview (_Just . _2) 
Nothing 

>>> Nothing & getA 0 .~ Just 1 
Just (1,0) 

所以最好避免這些假牙來防止事故發生。