我一直在尝试使用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')
最佳答案
获取“.”和 ',' 在某种程度上您可以将它们放在一起:
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]
]
关于haskell - 如何使用 Text.Parsec.Expr 中的 buildExpressionParser 来解析这种语言?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11174775/