Attoparsec解析に失敗しましたが、適切なバックトラッキングではありません。

Question

私はAttoparsecを使用していますが、これはデフォルトでバックトラックしています。ただし、次の行：

parseOnly (string "foo" *> many1 anyChar <* string "bar") "fooxxxbar" 

はで失敗します。

Left "not enough input" 

だから、なぜでしょうか？ many1 anyCharが3文字（xxx）のみを解析することにした場合、それは成功するはずです。そして、それはバックトラックのためにある時点でそれを行うことを検討するべきでしょうか？

/foo(.*)bar/正規表現Attoparsecを使用して同等の処理を行う適切な方法は何ですか？

Answer 1

私はデフォルトでバックトラックすると言われているAttoparsecを使用しています。

かなりです。 Attoparsec は、バックトラッキングをサポートしていますが、明示的な状況（ドキュメンテーションに記載されている箇所）でのみサポートされています。その目的は、高性能な解析であり、逆行追跡でうまくいきません。

manyTillまたはmanyTill'を探しています。バックトラッキングの動作については、ドキュメントに記載されています。

ghci> manyTill1 p e = (:) <$> p <*> manyTill p e 
ghci> parseOnly (string "foo" *> manyTill1 anyChar (string "bar")) "fooxxxbar" 
Right "xxx"