Analyser un seul caractère qoute dans une chaîne entre guillemets

Question

J'ai une situation idiote dans mes analyseurs parsec sur laquelle j'aimerais recevoir votre aide.

J'ai besoin d'analyser une séquence de forts/caractères séparés par | personnages. Ainsi, nous pourrions avoir un | b | 'c' | 'abcd'

qui devrait être transformé en

[a,b,c,abcd] 

espace n'est pas autorisé, à moins que l'intérieur d'une chaîne ''. Maintenant, dans ma tentative naïve, j'ai maintenant la situation où je peux analyser des chaînes comme a'a | 'bb' à [a'a, bb] mais pas aa | 'b'b' à [aa, b'b] .

singleQuotedChar :: Parser Char 
singleQuotedChar = noneOf "'" <|> try (string "''" >> return '\'') 

simpleLabel = do 
    whiteSpace haskelldef 
    lab <- many1 (noneOf "|") 
    return $ lab 

quotedLabel = do 
    whiteSpace haskelldef 
    char '\'' 
    lab <- many singleQuotedChar 
    char '\'' 
    return $ lab 

Maintenant, comment puis-je dire à l'analyseur de considérer 'un arrêt' si cela est suivi par un | ou un espace blanc? (Ou, obtenez un peu de caractère compte dans cela). L'entrée est générée par l'utilisateur, donc je ne peux pas compter sur les caractères.

Answer 1

Notez que permettre une citation au milieu d'une chaîne délimitée par des guillemets est très déroutant à lire, mais je crois que cela devrait vous permettre de l'analyser.

quotedLabel = do -- reads the first quote. 
    whiteSpace 
    char '\'' 
    quotedLabel2 

quotedLabel2 = do -- reads the string and the finishing quote. 
    lab <- many singleQuotedChar 
    try (do more <- quotedLabel3 
      return $ lttrace "quotedLabel2" (lab ++ more)) 
    <|> (do char '\'' 
      return $ lttrace "quotedLabel2" lab) 


quotedLabel3 = do -- handle middle quotes 
    char '\'' 
    lookAhead $ noneOf ['|'] 
    ret <- quotedLabel2 
    return $ lttrace "quotedLabel3" $ "'" ++ ret