如何使用 parsec 解析整数

Question

我期待找到一个函数

integer :: Stream s m Char => ParsecT s u m Integer

甚至可能

natural :: Stream s m Char => ParsecT s u m Integer

在标准库中，但我没有找到。

将普通自然数直接解析为Integer 的标准方法是什么？

Answer 1

这里是我经常做的就是使用表达式

read <$> many1 digit

可以是Stream s m Char => ParsecT s u m Integer（或简单的Parser Integer）类型。

我不喜欢使用偏函数read，但是当解析器成功时我知道read会成功，而且它有点可读性。

Answer 2

查看Text.Parsec.Token的来源，Parsec似乎没有专门的功能。他们确实为GenLanguageDef 的decimal 字段提供了默认定义。 decimal 的定义类似于：

decimal = do
    digits <- many1 baseDigit
    let n = foldl (\x d -> base*x + toInteger (digitToInt d)) 0 digits
    seq n (return n)
  where
    base = 10
    baseDigit = digit

这里，digit 取自 Text.Parsec.Char，digitToInt 取自 Data.Char。

natural 还有一个默认定义，默认情况下，它还解析八进制和十六进制数字，并跳过尾随空格。