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 (‘”’