Vérification si l'entrée restante est un espace avec le parsec

Question

J'essaie la bibliothèque parsec et je ne sais pas comment gérer cette tâche de base.

Supposons que je donne les résultats suivants:

data Foo = A | AB 

et je veux la chaîne "a" à analyser comme A et "a b" AB. Si je viens de le faire:

parseA :: parser Foo 
parseA = do 
      reserved "a" 
      return A 

parseAB :: parser Foo 
parseAB = do 
      reserved "a" 
      reserved "b" 
      return AB 

parseFoo :: parser Foo 
parseFoo = parseA 
     <|> parseAB 

puis parseFoo analysera « un b » comme A depuis parseA ne se soucie pas qu'il n'y a pas encore des espaces à gauche après la consommation du « a ». Comment cela peut-il être réparé?

Answer 1

Vous devez changer la grammaire en AB | A et utiliser try à partir de parsec, ce qui donne une capacité de lecture anticipée à votre analyseur.

Cela devrait fonctionner

parseFoo = try Parse AB <|> parse A