parsec: envoi de la sortie d'un parseur à un autre

Question

J'utilise des analyseurs (abus) pour effectuer une transformation de chaîne, par ex. normalizeWS :: Parser String supprime les espaces dupliqués et normalizeCase met en correspondance des chaînes spécifiques avec des minuscules. J'utilise des analyseurs syntaxiques parce que les données d'entrée ont une certaine structure, par exemple, les chaînes alphabétisées doivent être laissées non transformées. Existe-t-il un moyen élégant d'alimenter la sortie d'un analyseur en entrée et de former ainsi un pipeline de transformation? Quelque chose dans la veine de normalizeWS . normalizeCase (qui bien sûr ne fonctionne pas)?

Merci beaucoup d'avance!

Answer 1

Je résolu le problème en utilisant cette approche ... peut-être il y a une façon plus élégante

preprocessor :: Parser String 
preprocessor = normalizeCase `feeds` expandKettensatz `feeds` normalizeWs 

feeds :: Parser String -> Parser String -> Parser String 
feeds p1 p2 = do 
    s <- p1 
    setInput s 
    p2 

Answer 2

Si vous avez des fonctions telles que

normalizeWhitespace :: Stream s m Char => ParsecT s u m String 
normalizeCase :: Stream s m Char => Set String -> Parsec s u m String 

Vous pouvez les enchaîner en utilisant runParser et >>=:

runBoth :: Stream s Identity Char => Set String -> SourceName -> s -> Either ParseError String 
runBoth wordSet src input = do 
    input <- runParser normalizeWhitespace() src input 
    runParser (normalizeCase wordSet)() src input 

Mais cela ne vous donne pas un analyseur vous pouvez enchaîner avec d'autres parseurs.

Ce n'est pas très surprenant, car la composition de l'analyseur dans Parsec est tout au sujet composition des analyseurs syntaxiques qui fonctionnent sur le même flux, alors que ceux-ci fonctionnent sur différents flux. Avoir plusieurs flux différents est assez commun aussi - en utilisant la sortie de a tokenization or lexing pass as input to parsing peut faciliter le processus pour comprendre, mais Parsec is a little easier to use out of the box as a direct parser (without lexing/tokenization).