用镜头过滤复合结构

Question

我有一个[(a, Maybe b)],并希望获得一个[(a, b)],所有对,其中第二个元素被Nothing过滤掉.是否有一种简洁的方法来描述使用镜头的操作？

Answer 1

怎么样的

[('a',Just 1),('b',Nothing)]^..folded.aside _Just 

使用(^..)并folded从Control.Lens.Fold与aside和_Just从Control.Lens.Prism.

关键是aside,一个方便的功能,从一个工作在一对组件上的棱镜构建一对棱镜.

Answer 2

尽管镜片非常巧妙,但下面的内容可能是简洁的标志:

[ (a, b) | (a, Just b) <- list ]

(更不用说可读性了.)