Возьмем один последующее значение из списка дополнительных Парсеров

Question

У меня есть функция, которая имеет подпись

tryParseAllFilesInDir :: FilePath -> [Parsec ByteString() (Maybe a)] 

Он пытается проанализировать все файлы в директории с определенной Parser. Это то, что только один файл на самом деле будет успешным, но я не знаю, какой файл во время выполнения.

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

Мне как-то нужно идти от [Parsec ByteString() (Maybe a)] -> [Maybe a], а затем [Maybe a] -> Just a.

Если есть лучший подход к этому, я был бы признателен за это.

Answer 1

Вы можете запускать синтаксические анализаторы с помощью runParser. Это даст вам список типов [Either ParseError (Maybe a)]; вы можете использовать partitionEithers, чтобы извлечь только успешные анализы.