創建Parser a - > Parser b - > Parser的解析器組合器（或者ab）

Question

我想解析一些文本，其中某些字段在大多數情況下都會有結構但偶爾會出現這種結構（由於特殊的外框，拼寫錯誤等）結構缺失。

E.g.正常情況下是Cost: 5，但偶爾會讀取Cost: 5m或Cost: 3 + 1 per ally或其他一些隨機的東西。

在普通解析器（p）無法正常工作的情況下，我想回退到只將整行作爲字符串的解析器。

爲此，我想創建一個類型爲Parser a -> Parser b -> Either a b的組合器。但是，我無法解決如何檢查第一個解析器是否成功的結果，而不需要執行諸如case parse p "" txt of ...之類的操作。

我看不到在組合子的生成，但我敢肯定，有一些簡單的方法來解決這個問題，我很想念

Answer 1

我想你想是這樣的

eitherParse :: Parser a -> Parser b -> Parser (Either a b) 
eitherParse a b = fmap Left (try a) <|> fmap Right b 

ŧ他try只是爲了確保如果a消耗一些輸入，然後失敗，你會正確回溯。然後，你可以使用正常的方法來運行一個分析器，以產生Either ParseError (Either a b)

這是很容易轉換成你的Either a b

case parse p "" str of 
    Right (Left a) -> useA a 
    Right (Right b) -> useB b 
    Left err  -> handleParserError err 

Answer 2

試試這個：(<|>) :: ParsecT s u m a -> ParsecT s u m a -> ParsecT s u m a

正如你可以使用它的規則這種方式：

try p <|> q