使用 Parsec，如何解析零个或多个以 foo2 结尾且全部由点分隔的 foo1？

Question

我想做的事情看起来很简单，但由于我是一个秒差距 Haskell 新手，所以解决方案让我困惑。

我有两个解析器，比如说 foo1 和 foo2，其中 foo1 可以解析中间项，foo2 解析结尾学期。术语由符号 "." 分隔。

我需要解析的句子有

• foo2
• foo1.foo2
• foo1.foo1.foo2

等等。

我最初的想法是这样做

do k <- sepBy foo1 (char'.')
   j <- foo2

，但这并不能捕获仅 foo2 的情况。

Answer 1

您需要 endBy，而不是 sepBy。

foo = do k <- foo1 `endBy` char '.'
         j <- foo2
         ... 

这将强制在每次出现 foo1 后出现分隔符。

当然，endBy 可以简单地替换为 many，这可能会更清楚。

foo = do k <- many $ foo1 <* char '.' 
         j <- foo2
         ...

或者，没有 Control.Applicative：

foo = do k <- many $ do x <- foo1; char '.'; return x
         j <- foo2
         ...

Answer 2

首先，您需要 endBy 而不是 sepBy：

do k <- endBy foo1 (char'.')
   j <- foo2

其次，它会

捕获 foo2 案例

从 文档：

endBy p sep 解析零个或多个出现的 p，以 sep 分隔。返回p返回的值的列表。

Answer 3

尝试类似的东西

many (foo1 >>= (\v -> char '.' >> return v)) >>= \v1 ->
  foo2 >>= \v2 ->
  -- ...
  -- combine v1 & v2 somehow

（当然，只是一个草图。）

一般来说，many 组合器相当于 Parsec 的 克林星；如果您要向现有解析器添加一些简单的内容（例如尾随点），那么使用 >> / >>= 实际上可能更干净、更简单而不是使用 do 表示法。

Answer 4

当然，它会捕获 foo2 的情况。用于你的 foo1，莱顿的话：

let a = sepBy word (char '.')
parseTest a "foo.bar.baz"
parseTest a "foo"
parseTest a ".baz"