获取Parsec的左输入

Question

我在想，在Parsec停止解析之后，是否有一种方法可以从Parsec获得剩余的输入，或者是成功的或者失败的解析，也许是这个签名：

parseRemaining :: Stream s Identity t => Parsec s () a -> SourceName -> s -> (s, Either ParseError a)

当我们得到的不是一个Either ParseError a，我们还得到了剩余的Stream s

Answer 1

看看兆赫秒 -- Parsec的一个现代分支，从4.2.0版本开始，它允许在解析开始时提供自定义状态，并在解析结束时提取解析器状态(解析器成功或失败并不重要)。这允许部分解析输入、恢复解析、指定非标准的初始文本位置等。参见runParser'和runParserT'。

披露:我是“超级记者”的作者之一。

Answer 2

您可以使用getInput，它是一个返回其余输入的解析器。

Answer 3

我深入了解了Parsec的内部结构，无法找到一种简单的方法来恢复状态信息(其中包含流)。

一种特殊的解决方案是检查收到的错误，然后使用其位置信息推断解析停止的位置。(当然，只有当您的流支持查找时，这才能工作。)