haskell - 如何使用 Text.Parsec.Expr 中的 buildExpressionParser 来解析这种语言？

Question

我一直在尝试使用buildExpressionParser来解析一种语言，而且我几乎已经做到了。感谢Parsec.Expr repeated Prefix/Postfix operator not supported为了解决我的大问题之一。

这段代码片段说明了(我希望的)我最后的困难:

import Text.Parsec.Expr
import Text.Parsec

data Expr = Lit Char | A1 Expr | A2 Expr | B Expr Expr
  deriving (Show)

expr :: Parsec String () Expr
expr = buildExpressionParser table (fmap Lit digit)

prefix p = Prefix . chainl1 p $ return (.)

table =
  [ [prefix $ char ',' >> return A1]
  , [Infix   (char '*' >> return B) AssocNone]
  , [prefix $ char '.' >> return A2]]

这成功(并且正确)解析了 ,,0 , ..0 , .,0 , .0*0 ，和,0*0 ;但是，它无法解析 ,.0或.0*.0 。我可以明白为什么这两个不解析，但我不知道如何更改解析器，以便成功的事件不会发生变化，而两个失败的事件会被解析。

“解决”这个问题的一种方法是更改​​ (fmap Lit digit)至(fmap Lit Digit <|> expr) ，但是解析器会循环而不是出错。

欢迎咨询。

编辑:以下解析是关键:

> parseTest expr ".0*0"
A2 (B (Lit '0') (Lit '0'))

> parseTest expr ",0*0"
B (A1 (Lit '0')) (Lit '0')

Answer 1

获取“.”和 ',' 在某种程度上您可以将它们放在一起:

import Text.Parsec.Expr
import Text.Parsec

data Expr = Lit Char | A1 Expr | A2 Expr | B Expr Expr
  deriving (Show)

expr :: Parsec String () Expr
expr = buildExpressionParser table  (fmap Lit digit)
prefix p = Prefix . chainl1 p $ return (.)

table =
  [  [prefix $ (char ',' >> return A1) <|> (char '.' >> return A2)]
  , [Infix   (char '*' >> return B) AssocNone]
  , [prefix $ (char ',' >> return A1)] 
  ]

-- *Main> let f = parseTest expr
-- *Main> f ".,0"
-- A2 (A1 (Lit '0'))
-- *Main> f ".0*.0"
-- B (A2 (Lit '0')) (A2 (Lit '0'))
-- *Main> f ".0*,.0"
-- B (A2 (Lit '0')) (A1 (A2 (Lit '0')))
-- *Main> f ".,.0"
-- A2 (A1 (A2 (Lit '0')))
-- *Main> f ",.0"
-- A1 (A2 (Lit '0'))

编辑，这是之前明显不足的尝试

 table =
   [  [prefix $ (char ',' >> return A1) <|> (char '.' >> return A2)]
   , [Infix   (char '*' >> return B) AssocNone]
   ]