attoparsec 파서를 파서로 변환합니다. 사용하는 바이트 수가 특정 길이가 아닌 경우 실패합니다.

Question

attoparsec 파서 인 x이 있다고 해봅시다. 나는 그런 기능 f :: Int -> Parser a -> Parser a를 만들 찾고 있어요

그 다음 y = f n x, 경우 : x이 x 성공과 x이 n 바이트

y을 소비하지 않는 경우

y 실패 실패 할 경우

• y 실패 그렇지 않으면 성공 함

어떻게해야합니까?

Answer 1

당신은 그것을 구현하는 match를 사용할 수 있습니다

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

이가 많이 사용에 넣기 전에 허용되는 방식으로 (<|>)와 상호 작용하는 것을 확인해야합니다.