Parsec optionMaybe immer konsumieren Eingabe

Question

Ich versuche zu debuggen warum trotz der Kombinationmit try, Parsec verbraucht den Eingang. Grundsätzlich im folgenden Code, warum ist der zweite Lauf nicht Right "abc" zurück (was ist, was ich erwarte)?

Given

myParser = do 
    optionMaybe $ try (between (char '/') (char '/') $ many1 (noneOf "/") 
    many1 (noneOf "/") 

ich

> parse myParser "" "/abc/def" 
Right "def" 

> parse myParser "" "/abc" 
Left (line 1, column 5): 
unexpected end of input 
expecting "/" 

Answer 1

Die gesamte between (char '/') (char '/') $ many1 (noneOf "/") nicht aufgrund der fehlenden Schließung '/' in "/abc", und so optionMaybe $ try $ between ... verbraucht nichts (und Ergebnisse in Nothing). Sie sind mit allen "/abc" der Eingabe übrig, die natürlich nicht mit dem verbleibenden Parser many1 (noneOf "/") übereinstimmt.