Lower-case-p
Recognizer for lower case characters
(Lower-case-p x) is true if and only if x is a lower case
character, i.e., a member of the list #\A, #\B, ...,
#\Z.
The guard for lower-case-p requires its argument to be a
standard character (see standard-char-p).
Lower-case-p is a Common Lisp function. See any Common Lisp
documentation for more information.
Function: lower-case-p
(defun lower-case-p (x)
(declare (xargs :guard (and (characterp x)
(standard-char-p x))))
(and (member x
'(#\a #\b #\c #\d #\e #\f #\g
#\h #\i #\j #\k #\l #\m #\n #\o #\p #\q
#\r #\s #\t #\u #\v #\w #\x #\y #\z))
t))
Subtopics
- Down-alpha-p
- Determine if a character is a lower-case letter (a-z).