Getting Maybe von Objektiv mit Standardwert

Question

Viele Linsen Getters Return Vielleicht Werte. Und ich muss sie oft durch einige Standard ersetzen.

Sagen Sie Kartensuche, aber mit Standard.

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

Kann dies mit Linsen-Syntax geschrieben werden? Vielleicht etwas in der Nähe:

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

Answer 1

denke ich, was wollen Sie

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

non foo ist im Wesentlichen tut

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

In Ihrem Fall

someMap ^. at 1 . non "" 

Zufälligerweise thi s ist genau das Beispiel von non der geben.

Wenn Sie diese verwenden, um mit ix Sie kein Glück, aber man kann immer tun

-- 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