git.iko.soy/Idris-dev
on master help sign in
SimpleParser: optional combinator added
ef93607Jürgen Peters
contribs/lib/SimpleParser/SimpleParser.idr+3
compare with master
unifiedsplit
@@ -154,6 +154,9 @@ strToken = map pack (token (many1 alphanum))
154-- combinators
154-- combinators
155--------------------------------------------------------------------------------
155--------------------------------------------------------------------------------
156
156
157+optional : Parser a -> Parser ()
158+optional p = (p $> pure ()) <|> pure ()
159+
157sepBy1 : Parser a -> Parser b -> Parser (List a)
160sepBy1 : Parser a -> Parser b -> Parser (List a)
158sepBy1 p s = [| p :: many (s $> p) |]
161sepBy1 p s = [| p :: many (s $> p) |]
159
162