haskell - Haskell parsec 解析为可能

Question

只是一个我无法解决的简单问题。

我想将字符串解析为 String 或 Maybe Double，其中空字符串或“n/a”被解析为 Nothing。例如：

data Value = S String | N (Maybe Double)

value::CharParser () Value
value = val <* spaces
    where val = N <$> v_number
           <|> S <$> v_string
           <|> N <$> v_nothing

我在使用 v_nothing（以及引导和训练空白）时遇到问题。

谢谢。

编辑：

v_number :: CharParser () (Maybe Double)
v_number = do s <- getInput
          case readSigned readFloat s of
            [(n, s')] -> Just n <$ setInput s'
            _         -> empty

v_string :: CharParser () String
v_string = (many1 jchar)
    where jchar = char '\\' *> (p_escape <|> p_unicode)
          <|> satisfy (`notElem` "\"\\")                

我为 v_nothing 尝试了各种各样的事情，但无济于事。

Answer 1

也许是这样的？

value = do skipMany space
           choice $ map try [
            do string "n/a" <|> (eof >> return [])
               return $ N Nothing,
            do d <- many digit
               return $ N $ Just (read d)
            -- do ...       
                            ]