CODEWITHSUNDEEP
haskellhaskell-lens
cdupont
cdupont

Reputation: 1188

Haskell Lens: Prism over maybes

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?

Upvotes: 3

Views: 329

Answers (2)

Benjamin Hodgson
Benjamin Hodgson

Reputation: 44634

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

Upvotes: 0

Masse
Masse

Reputation: 4344

_Just :: Prism' (Maybe a) a

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

a ^? getB . _Just . getC

Upvotes: 5

Related Questions