Haskell Lens：可能的棱镜

Question

我有这些镜头：

getB :: Lens' A (Maybe B) 

getC :: Prism' B C

如何Maybe C从A中提取a ？我能找到的最好的：

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

还有更优雅的吗？

Answer 1

_Just :: Prism' (Maybe a) a

该_Just棱镜将让你的价值出来的Maybe。

a ^? getB . _Just . getC