String-upcase
In a given string, turn lower-case characters into upper-case
For a string x, (string-upcase x) is the result of
applying char-upcase to each character in x.
The guard for string-upcase requires its argument to be a
string containing only standard characters.
String-upcase is a Common Lisp function. See any Common Lisp
documentation for more information.
Function: string-upcase
(defun
string-upcase (x)
(declare
(xargs :guard (and (stringp x)
(standard-char-listp (coerce x 'list)))))
(coerce (string-upcase1 (coerce x 'list))
'string))Subtopics
- Upcase-string
- Convert a string to upper case.
- String-upcase-gen
- Upcase any string (even ones with non-standard characters).
