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 states that its argument is a
character.
Lower-case-p is a Common Lisp function. See any Common Lisp
documentation for more information. Note that the value returned may depend
on the host Lisp; see soundness, specifically Example 1 in the Section,
“Examples of divergence among Lisp implementations”.
Function: lower-case-p
(defun lower-case-p (x)
(declare (xargs :guard (characterp x)))
(cond ((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))
(t (lower-case-p-non-standard x))))Subtopics
- Down-alpha-p
- Determine if a character is a lower-case letter (a-z).
