將attoparsec解析器轉換爲解析器，如果消耗的字節數不是一定長度，則解析器失敗

Question

說我有一個attoparsec解析器，x。

我希望創造一個功能f :: Int -> Parser a -> Parser a，這樣如果y = f n x，則：

• y如果x失敗
• y如果x成功，x不消耗n字節
• y失敗，失敗否則成功

我該如何去做這件事？

Answer 1

您可以使用match實現它：

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

您應該檢查這與(<|>)以可接受的方式把它大量使用之前進行交互。