与使用`lens`的`span`等效是什么？

Question

比方说我有

data SumType = A | B | C

list = [A, B, B, A, C, A]

(as, rest) = span (\case A -> True; _ -> False) list

假设我有一个棱镜_A，有没有一种方法可以用lens写得更简洁呢？

Answer 1

你可以说

(as, rest) = break (isn't _A) list

在Control.Lens.Prism中定义了isn't。不幸的是，似乎没有对应的函数is' p = not . isn't p，尽管

(as, rest) = span (isRight . matching _A) list

也行得通。