Преобразовать парсер 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 

Вы должны проверить, что это взаимодействует с (<|>) приемлемым способом, прежде чем положить его интенсивное использование.