git.iko.soy/Idris-dev
on master help sign in
SimpleParser: improving performance so it is usefull for real world stuff
d9a7b37Jürgen Peters
contribs/lib/SimpleParser/SimpleParser.idr+8−8
compare with master
unifiedsplit
@@ -54,9 +54,9 @@ failure : String -> Parser a
54failure msg = P (\inp => Left msg)
54failure msg = P (\inp => Left msg)
55
55
56item : Parser Char
56item : Parser Char
57−item = P (\inp => case unpack inp of
57+item = P (\inp => case choose (inp == "") of
58− [] => Left "Error! Parsing empty list."
58+ Left _ => Left "Error! Parsing empty list."
59− (x::xs) => Right (x, pack xs))
59+ Right p => Right (strHead' inp p, strTail' inp p))
60
60
61
61
62--------------------------------------------------------------------------------
62--------------------------------------------------------------------------------
@@ -92,12 +92,12 @@ char x = sat (== x)
92string : String -> Parser String
92string : String -> Parser String
93string s = map pack (traverse char (unpack s))
93string s = map pack (traverse char (unpack s))
94
94
95+mutual
95−many1 : Parser a -> Parser (List a)
96+ many1 : Parser a -> Parser (List a)
96−many : Parser a -> Parser (List a)
97+ many1 p = [| p :: many p |]
97
98
98−many1 p = [| p :: many p |]
99+ many : Parser a -> Parser (List a)
99−
100−many p = lazy (many1 p) <|> pure []
100+ many p = lazy (many1 p) <|> pure []
101
101
102bool : Parser Bool
102bool : Parser Bool
103bool = parseTrue <|> parseFalse
103bool = parseTrue <|> parseFalse