Text.Lexer: add digit lexer and correct docs
`digit` recognises a single digit.
commitd1482fe5d78c1ff2452ea8eba2a8d11293d905dc
authorMichael Morgan <morgan.michael@me.com>
dateSun 27 Aug 2017, 22:17 (9 years ago)
parent5aa99ef
libs/contrib/Text/Lexer.idr+6−1
@@ -146,8 +146,13 @@ takeToken lex str
146146
147147||| Recognise a digit 0-9
148148export
149+digit : Lexer
150+digit = pred isDigit
151+
152+||| Recognise one or more digits 0-9
153+export
149154digits : Lexer
150−digits = some (Pred isDigit)
155+digits = some digit
151156
152157||| Recognise a specific string
153158export