Haskell语言学习笔记（46）Parsec（3）

Applicative Parsing

使用 Applicative 式的 Parser。

包括使用 (<>),(<\*>),(<), (<*), (*>), (<|>), many 等运算符。

应用实例1

import Control.Monad
import Text.Parsec
import Control.Applicative hiding ((<|>))

number = many1 digit
plus = char '+' *> number
minus = (:) <$> char '-' <*> number
integer = plus <|> minus <|> number
float = fmap rd $ (++) <$> integer <*> decimal
where rd      = read :: String -> Float
decimal = option "" $ (:) <$> char '.' <*> number

main = forever $ do putStrLn "Enter a float: "
input <- getLine
parseTest float input

*Main> main
Enter a float:
2.3
2.3
Enter a float:
1
1.0
Enter a float:
-1
-1.0
Enter a float:
+6.98
6.98

plus = char ‘+’ *> number

p1 *> p2 依次匹配 p1 和 p2，但是 p1 被舍弃，只返回 p2。

minus = (:)

应用实例2

import Text.Parsec
import Control.Applicative ((<$), (<*), (*>), liftA)
import Data.Char           (chr)

parseCSV :: String -> Either ParseError [[String]]
parseCSV = parse csvp ""

csvp :: Parsec String () [[String]]
csvp = line `endBy` newline <* eof

line :: Parsec String () [String]
line = cell `sepBy1` char ','

cell :: Parsec String () String
cell = cell' <|> many (noneOf ",\n")
where cell' = between (char '"') (char '"') $ many chr
chr   = noneOf "\"" <|> try ('"' <$ string "\"\"")

*Main> parseCSV "a,b,c\n"
Right [["a","b","c"]]
*Main> parseCSV "a,b,\"c\"\n"
Right [["a","b","c"]]
*Main> parseCSV "a,b,\"c\"\"d\"\n"
Right [["a","b","c\"d"]]

csvp = line `endBy` newline <* eof

p1 <* p2 依次匹配 p1 和 p2，但是 p2 被舍弃，只返回 p1。

endBy p sep 匹配0次或多次 p + sep 所组成的序列，返回 p 的 list。

line = cell `sepBy1` char ‘,’

sepBy1 p sep 匹配 p 后接0次或多次 sep + p 组成的序列，返回 p 的 list。

chr = noneOf “\”” <|> try (‘”’

参考链接

Parsing Floats With Parsec

A Gentle Introduction to Parsec