git.iko.soy/Idris-dev
on master help sign in
Text.Lexer: add lower, lowers, upper, and uppers
96086d2Michael Morgan
libs/contrib/Text/Lexer.idr+20
compare with master
unifiedsplit
@@ -172,6 +172,26 @@ export
172alphas : Lexer
172alphas : Lexer
173alphas = some alpha
173alphas = some alpha
174
174
175+||| Recognise a lowercase alpha character
176+export
177+lower : Lexer
178+lower = pred isLower
179+
180+||| Recognise one or more lowercase alpha characters
181+export
182+lowers : Lexer
183+lowers = some lower
184+
185+||| Recognise an uppercase alpha character
186+export
187+upper : Lexer
188+upper = pred isUpper
189+
190+||| Recognise one or more uppercase alpha characters
191+export
192+uppers : Lexer
193+uppers = some upper
194+
175||| Recognise an alphanumeric character
195||| Recognise an alphanumeric character
176export
196export
177alphaNum : Lexer
197alphaNum : Lexer