Haskell 镜头：对 Maybe 类型的视线

Question

我有以下这些镜头：

getB :: Lens' A (Maybe B) 

getC :: Prism' B C

我该如何从 A 中提取一个 Maybe C 呢？ 我找到的最佳解决方案是：

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

有更优雅的实现方式吗？

- cdupont

Answer 1

_Just :: Prism' (Maybe a) a

_Just 棱镜可以从 Maybe 中取出它的值。

a ^? getB . _Just . getC

- Masse

Answer 2

或者你可以使用 Maybe 的 Traversable 实例，如果存在值，则获取 Just 内部的值。

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

- Benjamin Hodgson