git.iko.soy/Idris-dev
on master help sign in
Text.Lexer: add digit lexer and correct docs
d1482feMichael Morgan
libs/contrib/Text/Lexer.idr+6−1
compare with master
unifiedsplit
@@ -146,8 +146,13 @@ takeToken lex str
146
146
147||| Recognise a digit 0-9
147||| Recognise a digit 0-9
148export
148export
149+digit : Lexer
150+digit = pred isDigit
151+
152+||| Recognise one or more digits 0-9
153+export
149digits : Lexer
154digits : Lexer
150−digits = some (Pred isDigit)
155+digits = some digit
151
156
152||| Recognise a specific string
157||| Recognise a specific string
153export
158export