应用两个折叠或吸气剂,只有在两者成功时才能成功

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)]