on master help sign in
Merge pull request #467 from Melvar/master
95e89f5Edwin Brady
contribs/lib/SimpleParser/SimpleParser.idr+2−2
@@ -154,8 +154,8 @@ strToken = map pack (token (many1 alphanum))
154-- combinators
154-- combinators
155--------------------------------------------------------------------------------
155--------------------------------------------------------------------------------
156
156
157−optional : Parser a -> Parser ()
157+optional : Parser a -> Parser (Maybe a)
158−optional p = (p $> pure ()) <|> pure ()
158+optional p = map Just p <|> pure Nothing
159
159
160sepBy1 : Parser a -> Parser b -> Parser (List a)
160sepBy1 : Parser a -> Parser b -> Parser (List a)
161sepBy1 p s = [| p :: many (s $> p) |]
161sepBy1 p s = [| p :: many (s $> p) |]