Haskell Lens: Prism over maybes

user_533919 0
Viewed 146

I have those lenses:

getB :: Lens' A (Maybe B) 

getC :: Prism' B C

How can I extract a Maybe C from an A? The best I could find:

case A ^. getB of
    Just b -> b ^? getC
    Nothing -> Nothing

Anything more elegant?

haskell-lens haskell
2 Answers
_Just :: Prism' (Maybe a) a

The _Just prism will get you the value out of a Maybe.

a ^? getB . _Just . getC
user_776500

Or you can use Maybe's Traversable instance, which gets the value inside the Just if there is one.

-- traverse :: Traversal' (Maybe a) a
a ^? getB . traverse . getC
user_15237760
Related