如何解决Haskell - Parsec :: 解析空格直到字符串文字
我目前正在尝试使用 Parsec 在 Haskell 中设计一个解析器。 声明类型的语法应如下所示:
Fruit is a Apple
类型也应该能够有参数:
Fruit a b is a Apple
哪里
-
Fruit
的类型为Name
-
a b
的类型为[Parameter]
-
Apple
的类型为Value
这里的问题是我的解析器目前不知道何时停止解析 parameters
并开始解析 value
。
代码如下:
newtype Name = Name String deriving (Show)
newtype Parameter = Parameter String deriving (Show)
newtype Value = Value String deriving (Show)
data TypeAssignment = TypeAssignment Name [Parameter] Value deriving (Show)
-- first variant using `sepBy`
typeAssigment :: Parser TypeAssignment
typeAssigment =
TypeAssignment
<$> name
<*> (space *> parameter `sepBy` space)
<*> (string "is a" *> value)
-- second variant using manyTill
typeAssigment2 :: Parser TypeAssignment
typeAssigment2 =
TypeAssignment
<$> name
<*> (space *> manyTill parameter (string "is a"))
<*> value
name :: Parser Name
name = Name <$> word
parameter :: Parser Parameter
parameter = Parameter <$> word
value :: Parser Value
value = Value <$> word
word :: Parser String
word = (:) <$> letter <*> many (letter <|> digit)
我尝试以我知道的两种方式解析参数/值(一次使用 sepBy,一次使用 manyTill)都失败了,几乎是解析错误:
*EParser> parseTest typeAssigment "Fruit a b is a Apple"
parse error at (line 1,column 21):
unexpected end of input
expecting space or "is a"
*EParser> parseTest typeAssigment2 "Fruit a b is a Apple"
parse error at (line 1,column 8):
unexpected " "
expecting letter,digit or "is a"
解决方法
typeAssignment1
的问题在于 "is"
和 "a"
是完全有效的 parameter
解析。因此,参数解析会吞噬整个输入,直到没有任何剩余,然后您会收到错误消息。事实上,如果您仔细观察该错误,您会发现这是真的:解析器需要一个空格(用于更多参数)或“is a”(整个解析器的终端)。
另一方面,typeAssignment2
非常接近,但您似乎没有正确处理空格。为了解析许多 parameter
,您需要解析这些参数之间的所有 space
,而不仅仅是第一个。
我认为以下替代方案应该可以解决问题:
typeAssigment3 :: Parser TypeAssignment
typeAssigment3 =
TypeAssignment
<$> name
<*> manyTill (space *> parameter) (try $ string "is a")
<*> (space *> value)
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。