attoparsecパーサーをパーサーに変換する。消費するバイト数が特定の長さでないと失敗するパーサー

Question

attoparsecパーサー、xがあるとします。

私はy = f n xならば、そのようなことを、機能f :: Int -> Parser a -> Parser aを作成するために探しています：

• yがxが
• を失敗した場合にxが成功したとxがnバイト
• yを消費しない場合yが失敗した失敗しました他の場合は成功する

これをどうやってやりますか？

Answer 1

あなたはそれを実装するためにmatchを使用することができます。

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

あなたはこれが重い使用にそれを置く前に、許容可能な方法で(<|>)と相互作用することを確認する必要があります。