Haskell 编写更复杂的遍历（镜头）

我不断深入科米特的镜头；今天，我尝试编写一些自定义遍历，直到现在，我一直通过编写现有的遍历来创建新的遍历，但我正在做一些更复杂的事情，并且遇到了问题

我正在编写一个文本编辑器，我只是添加了多个游标，最初每个缓冲区有一个游标，并有一个镜头来聚焦它，现在我将其推广到一个游标列表，并希望遍历该列表。诀窍在于，在前面的例子中，我的镜头在setter内部进行了一些验证，以确保光标被夹紧，以适合缓冲区文本的有效范围。看起来是这样的：

clampCursor :: Text -> Cursor -> Cursor

cursor :: Lens' Buffer Cursor
cursor = lens getter setter
  where getter buf = buf^.curs
        setter buf new = let txt = buf^.text
                          in buf & curs .~ clampCursor txt new

注意它如何使用缓冲区上下文中的文本信息在光标上创建镜头；（我也很想听到任何更干净的方法来做这件事，而不是制作定制镜片。如果有人有建议，我发现自己做了很多）

现在我有了多个游标，我需要将其转换为遍历'，但当然我不能使用

lens-getter-setter

方法定义遍历；看看如何定义遍历，我读了这篇文章；其中规定如下：

问题：如何创建遍历

答：创建基本体遍历有三种主要方法：

• 遍历是为实现可遍历的任何类型获得的遍历
• 每个镜头“也将以遍历方式进行类型检查”
• 您可以使用模板Haskell使用makePrisms生成遍历，因为每个Prism“也是一个遍历”（本教程未介绍）

这些方法在这里都没有真正的帮助；我也看到过使用应用程序样式创建遍历的样式，但我总是有点困惑，我真的不知道在这种情况下如何使用它来获得我想要的

我想我可以写一个

Lens'Buffer[Cursor]

，它映射到setter中的游标上执行验证，然后遍历该列表，但我认为必须有一种方法在遍历之后（当每个元素都聚焦时）以某种方式将其烘焙到遍历中。也许有更好的方法完全做到这一点

我仍然希望尽可能多地了解遍历，所以任何解释都非常感谢！谢谢

编辑：

---

@德弗尔指出，当你进行这种验证时，你最终会得到无效的镜头，我真的很喜欢它提供的干净界面，在镜头内部进行验证；据我所知，由于验证是幂等的，所以不应该引起任何实际问题，但我愿意接受关于如何更好地进行验证的建议。

因为

curs:：Lens'Buffer Cursor

变成了

curs:：Lens'Buffer[Cursor]

，构建无规则

cursor:：Traversal'缓冲区cursor

的任务可以分为构建无规则

Lens'缓冲区[cursor]

进行边界检查，并将任何

Lens的[a]

转换为

Traversal's a

第一个问题可以由您来解决：您可以做您已经在做的事情，但是检查

[光标]

的每个元素的边界

第二个是守法的要求，因此，如果没有你的帖子下的滔滔不绝的评论，你本可以期待得到答案：

turnIntoTraversal :: Lens' s [a] -> Traversal' s a
turnIntoTraversal l = l . traverse

为了好玩，这里还尝试了直接实现

cursor :: Traversal' Buffer Cursor
cursor atofa s = (curs . traverse) (fmap (clampCursor $ s ^. text) . atofa) s

---

我的建议是直接使用透镜的

函子

/

应用

表示来做这类事情

要编写非类型更改（简单）

Lens

或

遍历

，您需要编写一个函数，该函数将函数

k:：a->fa

和结构

s

作为参数，然后生成一个

fs

k

是一种广义修改函数，表示镜头用户希望对镜头聚焦的数据进行的更改。但是，由于

k

不仅仅是

a->a

类型，而是

a->f a

类型，因此它还允许从更新中携带“结果”，例如，更新前字段的值（如果对f使用state monad，那么可以在update函数中将state设置为字段的旧值，并在以后运行state monad时将其读取）

我们在以下代码中的方法是更改此修改函数，在返回新值之前执行一些钳制：

-- Takes a cursor update function and returns a modified update function 
-- that clamps the return value of the original function
clampCursorUpdate :: Functor f => Text -> (Cursor -> f Cursor) -> (Cursor -> f Cursor)
clampCursorUpdate k = \cur -> fmap (clampCursor txt) (k cur)

然后，我们可以将一个非验证性镜头转换为验证性镜头（注意，正如评论中所说，这个验证性镜头不是守法镜头）：

这种方法很容易推广到遍历。首先，我们编写非验证遍历，将

Lens'缓冲区[光标]

与

traverse

组合，将其转换为

traversal'缓冲区光标

：

-- assuming that _cursors is a lens that returns the list of cursors
_cursors :: Lens' Buffer [Cursor]

-- non-validating cursors traversal
_cursorsTraversal :: Traversal' Buffer Cursor
_cursorsTraversal = _cursors . traverse

现在我们可以使用与前面相同的方法：因为遍历已经为我们进行了“映射”，所以代码是相同的，只是我们现在在

f

上有一个

Applicative f

约束，因为我们想要一个

遍历“

：

cursors :: Applicative f => (Cursor -> f Cursor) -> Buffer -> f Buffer
cursors k buffer = _cursorsTraversal (clampCursorUpdate txt k) buffer
 whee txt = buffer^.text

---

你已经有点问题了：由于夹持，你的

镜头

不是一个守法的镜头。你能提供一些关于

光标

是什么以及如何使用的更多信息吗？我觉得你当前的设置有点奇怪。我不认为光标是一个缓冲区。我想你真正想要的可能更像是一组镜头，比如“指针”在buffer.Hrmm中，我想这是真的；在界面干净但遵守法律的情况下，有没有更好的方法来进行验证？我一直认为setter是应该执行验证的地方。基本上，光标是文件中的偏移量，用于跟踪将来应该执行的操作，例如删除字符、插入字符xt等“Buff”

cursors :: Applicative f => (Cursor -> f Cursor) -> Buffer -> f Buffer
cursors k buffer = _cursorsTraversal (clampCursorUpdate txt k) buffer
 whee txt = buffer^.text