Необязательный парсер Attoparsec с результатом Maybe

У меня есть анализатор Attoparsec:

myParser :: Parser Text
myParser = char '"' *> takeWhile (not . isspace) <* char '"'

Я хочу сделать этот парсер необязательным, поэтому я получаю функцию, которая возвращает Just txt, если парсер совпадает, и Nothing в противном случае, т.е. функцию подписи:

myMaybeParser :: Parser (Maybe Text)

Как я могу это сделать?


haskell maybe attoparsec
person Uli Köhler    schedule 07.12.2015    source источник
comment
Мне кажется, что вы продолжаете задавать вопросы и принимать свои собственные ответы, которые, кстати, публикуются одновременно с вопросом.   -  person rubik    schedule 07.12.2015
comment
@rubik Да, это встроенная функция StackOverflow, и ее активно рекомендуется использовать! Прочтите stackoverflow.com/help/self-answer.   -  person Uli Köhler    schedule 08.12.2015
comment
@rubik Обратите внимание, что я с радостью приму другие ответы. У меня было несколько вопросов с самостоятельными ответами, на которые кто-то придумал лучший ответ, и я с радостью его принял.   -  person Uli Köhler    schedule 08.12.2015

Ответы (1)


arrow_upward
1
arrow_downward

Вы можете использовать option< /a> и экземпляр Applicative Parser для этого:

-- Make a parser optional, return Nothing if there is no match
maybeOption :: Parser a -> Parser (Maybe a)
maybeOption p = option Nothing (Just <$> p)

Затем вы можете использовать его следующим образом:

myMaybeParser = maybeOption myParser
person Uli Köhler    schedule 07.12.2015
comment
Iirc, есть также альтернативный экземпляр, и в этом случае вы можете использовать дополнительную функцию. - person Michael Snoyman; 08.12.2015