haskell - 为什么 “failing”(来自镜头)会产生无效遍历？

Question

来自 the documentation :

Try the first Traversal (or Fold), falling back on the second Traversal (or Fold) if it returns no entries.

This is only a valid Traversal if the second Traversal is disjoint from the result of the first or returns exactly the same results.

是否有 failing 生成的无效遍历的简单示例？和一个证明它的测试用例？

Answer 1

对于反例，我们首先定义一个新的数据类型，我们使用 makePrisms 为其生成遍历。 :

data T = A T | C deriving Show
makePrisms ''T

_A :: Traversal T T现在是一个有效的遍历。现在，使用 failing 构造一个新的遍历。 :

t :: Traversal' T T
t = failing _A id

请注意 (C & t .~ A C) ^.. t = [C] ，看起来它不符合遍历定律(你没有“得到你放入的东西”)。事实上，第二遍历定律是:

fmap (t f) . t g ≡ getCompose . t (Compose . fmap f . g)

不满意，可以从以下 f 的选择中看出和 g :

-- getConst . t f = toListOf t
f :: T -> Const [T] T
f = Const . (:[])

-- runIdentity . t g = t .~ A C
g :: T -> Identity T
g = pure . const (A C)

然后:

> getConst . runIdentity . fmap (t f) . t g $ C
[C]

尽管:

> getConst . runIdentity . getCompose . t (Compose . fmap f . g) $ C
[A C]

所以确实有failing的情况具有有效遍历不会产生有效遍历。