Comment analyser un nombre entier avec parsec

Question

Je me attendais à trouver une fonction

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

ou peut-être même

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

dans les bibliothèques standard, mais je ne trouve pas.

Quelle est la manière standard d'analyser des nombres naturels simples directement sur un Integer?

Answer 1

Voici ce que je fais souvent est d'utiliser l'expression

read <$> many1 digit 

qui peut avoir le type Stream s m Char => ParsecT s u m Integer (ou tout simplement Parser Integer).

Je n'aime pas l'utilisation de la fonction partielle read, mais quand l'analyseur réussit, je sais que le read va réussir, et il est quelque peu lisible.

Answer 2

En regardant la source de Text.Parsec.Token, il semble que Parsec n'a pas de fonction dédiée pour cela. Ils donnent une définition par défaut pour le champ decimal de GenLanguageDef. decimal est défini similaire à:

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 

Ici, digit est tiré de Text.Parsec.Char et digitToInt de Data.Char.

Il existe également une définition par défaut pour natural qui, par défaut, analyse également les nombres octaux et hexadécimaux et ignore les espaces de fin.