Parsec을 사용하여 파서를 무효화하는 방법

Question

줄 끝 "\ r \ r \ n"이있는 파일을 가지고 있으며 파서 eol = string "\r\r\n" :: Parser String을 사용하여 처리합니다. 이 구분 기호 사이의 줄 목록을 얻으려면 eol에 캡처되지 않는 텍스트를 반환하는 파서와 함께 sepBy을 사용하고 싶습니다. 문서를 살펴보면 파서를 무효화하는 결합 자 ('”\r\r\n” 패턴'이외의 파서)를 보지 못했습니다.

나는 sepBy (many anyToken) end을 사용해 보았지만, many anyToken은 욕심이 많으며, eol과 일치하지 않습니다. 나는 many (noneOf "\n\r")을 사용할 수 없다. 내 텍스트에 하나의 '\n' 문자가 포함되어 있기 때문에 나는 사용할 수 없다.

string "\r\r\n"의 역수를 구할 수있는 연결자가 있습니까?

Answer 1

임시 응답으로, manyTill anyChar (try eol)은 내가 원하는 것을 수행합니다. 필자의 원래 질문의 일부로, 파서를 무효화하는 일반적인 방법이 있는지 또는 내가 원하는 것을 수행하기위한 또 다른 권장 방법이 있는지 여부에 관심이 있습니다.

Answer 2

나는 거꾸로 돌아가고 싶어합니다. Parsec 파서는 입력을 잘라 내지 않고 출력을 만듭니다. 당신이 원하지 않는 것에 대해 생각함으로써 파싱을 시도할수록 어려울 것입니다. 허용 할 수있는 것을 상향식으로 생각하고 잘라내는 곳에서 위로 내려 가지 말아야합니다.

가장 기본적인 것부터 시작해야합니다. 은이됩니다. 예를 들어, 식별자를 공백 앞에있는 모든 것으로 생각하지 마십시오. 영숫자 데이터가 뒤 따르는 문자로 생각하십시오. 그런 다음 공백으로 구분하여이를 선상에있는 다른 것들과 결합 할 수 있습니다. 당신이 성공적으로 당신이 온라인에서 원하는 것을 분석하고 거부 파서 유효하지 않은 라인이 여러 라인 분석한다 완료 만

line = do 
     i <- identifier 
     whiteSpace 
     string "=" 
     e <- expr 
     return $ Line i e 

: (Text.Parsec.Combinator에서)

lines = sepBy line eol