Text.Lexer: add lower, lowers, upper, and uppers
commit96086d215e4e0f58fca4547d733220223c550522
authorMichael Morgan <morgan.michael@me.com>
dateSun 27 Aug 2017, 22:40 (9 years ago)
parent611c709
libs/contrib/Text/Lexer.idr+20
@@ -172,6 +172,26 @@ export
172172alphas : Lexer
173173alphas = some alpha
174174
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+
175195||| Recognise an alphanumeric character
176196export
177197alphaNum : Lexer