Haskell / Parsec：你如何使用Text.Parsec.Indent中的函数？

Question

我有麻烦工作如何使用任何功能在Text.Parsec.Indent通过所提供的模块indents包Haskell中，这是一种附加的秒差距的。

所有这些功能都做了什么？ 它们如何使用？

我能理解的简单的黑线鳕描述withBlock ，我发现了如何使用示例withBlock ， runIndent和IndentParser键入这里 ， 这里和这里 。 我也可以理解四个解析器indentBrackets和朋友的文档。 但是很多事情仍然令我感到困惑。

特别是：

1. withBlock fap和。之间的区别是什么？

    do aa <- a pp <- block p return f aa pp 

   同样， withBlock' ap和do {a; block p} do {a; block p}

2. 在函数indented和朋友的系列中，什么是“引用的级别”？ 那就是什么是'参考'？

3. 再次，函数indented和朋友，它们如何使用？ 除了withPos ，看起来它们没有参数，并且都是IParser ()类型（IParser定义像这样或者这样 ）所以我猜他们所能做的只是产生错误或者它们应该出现在do块中，但我无法弄清楚细节。

   我至少在源代码中找到了一些关于withPos用法的例子，所以如果我长时间盯着它，我可能会想到这一点。

4. <+/>附带了有用的描述“ <+/>是缩进敏感的解析器是什么ap是monads”这是伟大的，如果你想花几个会议试图包裹你的头围绕ap然后弄清楚它是如何类似于解析器。 然后参考<+/>定义其他三个组合子 ，使整个组无法接近新手。

   我需要使用这些吗？ 我可以忽略它们并使用do吗？

5. 来自Parsec的普通lexeme组合器和whiteSpace解析器将很乐意在多令牌构造中间使用换行而不会抱怨。 但是在缩进式语言中，有时你想要停止解析一个词法结构，或者如果一行被破坏而下一行的缩进量小于应该的那么就会抛出一个错误。 我如何在Parsec中这样做？

6. 在我试图解析的语言中 ，理想情况下，允许词法结构继续到下一行的规则应该取决于第一行末尾或后续行开头出现的令牌。 在Parsec有一个简单的方法来实现这一目标吗？ （如果困难则不是我现在需要关注的事情。）

Answer 1

所以，第一个提示是看看IndentParser

type IndentParser s u a = ParsecT s u (State SourcePos) a

也就是说， ParsecT对SourcePos了密切关注， SourcePos是一个抽象容器，可用于访问当前列号等。 因此，它可能在SourcePos存储当前的“缩进级别”。 这是我对“参考水平”意味着什么的初步猜测。

简而言之， indents为您提供了一种新的Parsec ，它对上下文敏感 - 特别是对当前缩进敏感。 我会不按顺序回答你的问题。

---

（2）“引用级别”是在该缩进级别开始的当前解析器上下文状态中引用的“信念”。 为了更清楚，让我给出一些关于（3）的测试用例。

（3）为了开始尝试这些功能，我们将构建一个小测试运行器。 它将使用我们提供的字符串运行解析器，然后使用我们可以修改的initialPos解包内部State部分。 在代码中

import Text.Parsec
import Text.Parsec.Pos
import Text.Parsec.Indent
import Control.Monad.State

testParse :: (SourcePos -> SourcePos) 
          -> IndentParser String () a 
          -> String -> Either ParseError a
testParse f p src = fst $ flip runState (f $ initialPos "") $ runParserT p () "" src

（注意，这几乎是runIndent ，除了我给了一个后门来修改initialPos 。）

现在我们可以看一下indented 。 通过检查来源，我可以告诉它做两件事。 首先，如果当前 SourcePos列号小于或等于存储在State中的SourcePos的“引用级别”，则它将fail 。 其次，它有点神秘地更新了State SourcePos的行计数器（不是列计数器）是最新的。

根据我的理解，只有第一种行为很重要。 我们可以在这看到不同之处。

>>> testParse id indented ""
Left (line 1, column 1): not indented

>>> testParse id (spaces >> indented) "   "
Right ()

>>> testParse id (many (char 'x') >> indented) "xxxx"
Right ()

因此，为了indented成功，我们需要消耗足够的空格（或其他任何东西！）以将列位置推出“参考”列位置。 否则，它将失败说“没有缩进”。 存在类似的现象在接下来的三个功能： same失败，除非当前的位置和参考位置是在同一条线上， sameOrIndented如果当前列是严格比参考柱少，除非他们是在同一行失败， checkIndent失败，除非当前列和参考列匹配。

withPos略有不同。 它不仅仅是一个IndentParser ，它是一个IndentParser它将输入IndentParser转换成一个认为“引用列”（ State的SourcePos ）正好在我们调用withPos时的withPos 。

这给了我们另一个暗示，顺便说一下。 它让我们知道我们有权更改参考列。

（1）现在让我们看一下block和withBlock如何使用我们新的低级引用列运算符。 withBlock是以block形式实现的，所以我们将从block开始。

-- simplified from the actual source
block p = withPos $ many1 (checkIndent >> p)

因此， block将“引用列”重置为当前列的任何内容，然后从p消耗至少1个分析，只要每个分析与新设置的“引用列”相同。 现在我们来看看withBlock

withBlock f a p = withPos $ do
  r1 <- a
  r2 <- option [] (indented >> block p)
  return (f r1 r2)

因此，它重置“基准列”在当前列，解析单a解析，尝试分析一个indented block的p s，则使用相结合的结果f 。 您的实现几乎是正确的，除了您需要使用withPos来选择正确的“参考列”。

然后，一旦你有了withBlock ， withBlock' = withBlock (\\_ bs -> bs) 。

（5）因此， indented和朋友正是执行此操作的工具：如果相对于withPos选择的“引用位置”缩进，它们将导致解析立即失败。

（4）是的，在你学习如何在基础Parsec使用Applicative样式解析之前，不要担心这些人。 它通常是一种更清晰，更快速，更简单的指定解析方式。 有时他们甚至更强大，但如果你了解Monad那么他们几乎总是完全等同。

（6）这就是症结所在。 到目前为止提到的工具只能在使用withPos描述您的缩进缩进时才能进行缩进失败。 很快，我认为根据其他解析的成功或失败来指定withPos是不可能的...所以你必须更深入地进行另一个层次。 幸运的是，使IndentParser工作的机制显而易见 - 它只是一个包含SourcePos的内部State monad。 你可以使用lift :: MonadTrans t => ma -> tma来操纵这个内部状态并设置你喜欢的“参考列”。

干杯!