Parser 类型
data ParsecT s u m a
type Parsec s u = ParsecT s u Identity
type Parser = Parsec String ()
- data ParsecT s u m a
ParsecT 带四个类型参数：数据流类型 s，用户状态类型 u，底层Monad类型 m，返回类型 a。
ParsecT 是一个Monad转换器。
- type Parsec s u = ParsecT s u Identity
Parsec 类型是 ParsecT 类型的特化，底层Monad类型特化为 Identity。
- type Parser = Parsec String ()
Parser 类型是 Parsec 类型的特化，数据流类型特化为 String，用户状态类型为空类型 ()。
parseTest 函数
parseTest :: (Stream s Identity t, Show a)
=> Parsec s () a -> s -> IO ()
parseTest p input
= case parse p "" input of
Left err -> do putStr "parse error at "
print err
Right x -> print x
- parseTest 函数调用 parse 函数对数据流进行解析。
- 如果匹配失败，打印出错信息。
- 如果匹配成功，输出返回值。