如何在Haskell的Parsec中解析罗马数字？

Question

我是Haskell初学者，我正在尝试通过编写一个解析器来学习Parsec，它既可以使用阿拉伯数字，如"234“，也可以使用罗马数字，如”MCMLXIX“。我找到了the library roman-numerals，所以我想我应该以某种方式使用fromRoman函数，并与Parsec结合使用，因为我最终需要获得与罗马数字等价的阿拉伯语数字。但我还不太清楚如何将fromRoman的Maybe输出转换为Parser。这就是我到目前为止所知道的：

import Text.Parsec
import Text.Parsec.Text (Parser)
import Text.Numeral.Roman

arabicNum :: Parser Int
arabicNum = do
  n <- many1 digit
  return (read n)

isChapter :: Inline -> Bool
isChapter str = str == Str "CHAPTER"

number :: Parser Int
number = arabicNum <|> romanNum

romanNum :: Parser Int
romanNum = do
  str <- many1 char
  return case (fromRoman str) of
    Just n -> n
    Nothing -> Nothing

但是，没有骰子，因为我还不知道我在做什么。

Answer 1

如果你的Maybe是Nothing，你可以通过fail来生成一个解析器错误。如果它是什么，你可以return它：

romanNum :: Parser Int
romanNum = do
  str <- many1 $ oneOf "MDCLXVI"
  case fromRoman str of
    Just n -> return n
    Nothing -> fail $ str ++ " is not a valid roman numeral"