haskell - 组合两个遍历，对中间层具有只读访问权限

Question

我想组合两个遍历，然后用同样依赖于“中间”层的东西遍历组合。

我认为这意味着从两个 Traversal 中创建一个 IndexedTraversal:

rememberMidpoint :: Traversal' s a -> Traversal' a b -> IndexedTraversal' a s b

也许这个问题可以进一步简化为

remember :: Traversal' s a -> IndexedTraversal' s a a

或

remember :: Traversal' s a -> IndexedTraversal' a s a

?

所以我的问题是:

• 我想为此使用 IndexedTraversal 是否正确？
• 如果是，我将如何实现 rememberMidpoint 或两个 remember 函数之一 + 一种使用非索引 Traversal 组合其结果的方法?

Answer 1

@phadej帮助我解决了#haskell-lens 问题，将我指向 selfIndex :

Use a value itself as its own index. This is essentially an indexed version of id.

连同组合子 <. 组成索引和非索引遍历，我们得到:

rememberMidpoint :: Traversal' s a -> Traversal' a b -> IndexedTraversal' a s b
rememberMidpoint outer inner = outer . selfIndex <. inner

地址@András Kovács评论中的观点:

According to docs, your intended IndexedTraversal is not legal, as the a index changes if you modify an innermost b.

我不相信这是真的:如果我理解selfIndex对了，a在索引中将保留“原始”a , 不会成为修改过的 b里面。