Fundamentals of CS I (CS151 2001S) : Reference

char-downcase - convert a letter to lowercase

Procedurechar-downcase
Parametersc, a character
PurposeIf c is uppercase, returns the lowercase version of c. Otherwise, returns c.
ProducesA character.
PreconditionsOnly one parameter (verified).
c is a character (verified).
PostconditionsThe result is a character.
The result is not a lowercase letter. Does not affect c.
Examples
> (char-downcase #\a)
#\a
> (char-downcase #\A)
#\a
> (char-downcase #\3)
#\3
> (char-downcase #\space)
#\space
> (char-downcase #\a #\b)
char-downcase: expects 1 argument, given 2: #\a #\b
> (char-downcase 3)
char-downcase: expects argument of type <character>; given 3
> (define ch #\A)
> ch
#\A
> (char-downcase ch)
#\a
> ch
#\A
See Also
  char-upcase

Disclaimer: I usually create these pages on the fly. This means that they are rarely proofread and may contain bad grammar and incorrect details. It also means that I may update them regularly (see the history for more details). Feel free to contact me with any suggestions for changes.

This page was generated by Siteweaver on Thu Feb 22 05:47:41 2001.
This page may be found at http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2001S/char-downcase.html.
You may validate this page's HTML.
The source was last modified Sun Feb 4 20:57:25 2001.