從默認值鏡頭獲得可能性

Question

許多鏡頭獲得者返回Maybe值。我經常需要用一些默認值替換它們。

說地圖查找但默認。

fromMaybe "" $ Map.fromList [(1,"Foo")] ^? at 1 

這可以用鏡頭語法書寫嗎？也許一些接近這一點：

Map.fromList [(1,"Foo")] ^? at 1.or "" 

Answer 1

我想你想要的是

non :: Eq a => a -> Iso a (Maybe a) 

non foo本質上是做

case someMaybe of 
    Nothing -> foo 
    Just a -> a 

在你的情況

someMap ^. at 1 . non "" 

巧合的是，THI s正好是non的docs給出的例子。

如果你想與ix你的運氣了用這個，但你總是可以做

-- Import Data.Monoid 
defaulting :: a -> s -> Getting (First a) s a -> a 
defaulting a s fold = fromMaybe a $ s ^? fold 

foo = defaulting 0 [1, 2, 3] $ ix 3 -- 0