haskell - 应用两个折叠或 setter/getter ，只有当两者都成功时才成功

Question

想象一下，我有以下列表:

lst :: [(Bool, Maybe Integer)]
lst = [(True, Just 3), (True, Nothing), (False, Just 12)]

使用镜头库，我想提取元组的元素，但我只希望它在第二个元素为Just时成功.我想要一些眼镜，split像这样工作:

> lst ^.. folded.split (_1.to not) (_2._Just)
[(False, 3), (True, 12)]

我可以实现split我自己是这样的:

split :: Getting (First a) s a -> Getting (First b) s b -> Fold s (a, b)
split a b = folding (\x -> (,) <$> (x ^? a) <*> (x ^? b))

…这似乎有效。但是，这似乎我必须重新发明轮子。镜头库是否已经提供了以同样好的方式完成此任务的东西？

Answer 1

aside 组合器采用 Prism它适用于元组的第二个组件并返回 Prism适用于整个元组:

ghci> lst ^.. folded.aside _Just
[(True,3),(False,12)]

当组件匹配时，生成的棱镜匹配，否则失败。

将其与 to 结合使用和 bimap ，我们可以重现您的示例:

ghci> lst ^.. folded.aside _Just.to (bimap not id)
[(False,3),(True,12)]

要处理第一个组件，我们可以使用 swapped :

ghci> [(Just 3,False)]^..folded.swapped.aside _Just.swapped
[(3,False)]