haskell - 具有可能结果的 Attoparsec 可选解析器

Question

我有一个像这样的Attoparsec解析器：

myParser :: Parser Text
myParser = char '"' *> takeWhile (not . isspace) <* char '"'

我想让这个解析器成为可选的，所以我得到一个函数，Just txt如果解析器匹配则返回，Nothing否则，即签名函数：

myMaybeParser :: Parser (Maybe Text)

我怎样才能做到这一点？

Answer 1

您可以为此使用optionApplicative 实例Parser：

-- Make a parser optional, return Nothing if there is no match
maybeOption :: Parser a -> Parser (Maybe a)
maybeOption p = option Nothing (Just <$> p)

然后你可以像这样使用它：

myMaybeParser = maybeOption myParser