Verwandeln Sie einen Attoparsec-Parser in einen Parser, der ausfällt, wenn die Anzahl der Bytes keine bestimmte Länge hat.

Question

Angenommen, ich habe einen Attoparsec-Parser, x.

Ich suche eine Funktion f :: Int -> Parser a -> Parser a, so zu erstellen, dass, wenn y = f n x, dann gilt:

• y schlägt fehl, wenn x nicht
• y schlägt fehl, wenn x gelingt und x verbraucht keine n Bytes
• y gelingt sonst

Wie würde ich das machen?

Answer 1

können Sie match verwenden, sie umzusetzen:

f n x = do 
    (bs, res) <- match x 
    guard (BS.length bs >= n) 
    return res 

Sie sollten prüfen, ob diese mit (<|>) in akzeptabler Weise in Wechselwirkung treten, bevor es zu starkem Gebrauch setzen.