haskell - 获取 Parsec 的左输入

Question

我想知道是否有办法在停止解析后从 Parsec 获取剩余的输入，无论解析成功还是失败，也许是这个签名:

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

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

Answer 1

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

<小时/>

披露:我是 Megaparsec 的作者之一。