parsing - parsec 使用 between 来解析括号

Question

例如，如果我想将具有多个括号组的字符串解析为包含每个组的字符串列表

"((a b c) a b c)"

进入

["((a b c) a b c)","( a b c)"]

我将如何使用 parsec 做到这一点？ between的使用看起来不错，但似乎不可能用开始值和结束值分开。

Answer 1

我会使用递归解析器:

data Expr = List [Expr] | Term String

expr :: Parsec String () Expr
expr = recurse <|> terminal

哪里 terminal是你的原语，在这种情况下，这些似乎是字符串，所以

 where terminal = Term <$> many1 letter

和 recurse是

       recurse  = List <$>
                  (between `on` char) '(' ')' (expr `sepBy1` char ' ')

现在我们有一棵漂亮的树 Expr我们可以收集的 s

collect r@(List ts) = r : concatMap collect ts
collect _           = []