next up previous contents index
Next: char,ord Up: Input/Output Previous: lowByte   Contents   Index


Character


Usage

import from Character


Description

Character implements machine characters.


Exports

HashType
InputType
OutputType
PackableType
SerializableType
TotallyOrderedType
char: MachineInteger $\to$ % create a character
digit?: % $\to$ Boolean test for a decimal digit
eof: % end-of-file character
letter?: % $\to$ Boolean test for a letter
lower: % $\to$ % convert to lower case
newline: % newline character
null: % null character
ord: % $\to$ MachineInteger character code
space?: % $\to$ Boolean test for a blank space
tab: % tab character
upper: % $\to$ % convert to upper case



Subsections
next up previous contents index
Next: char,ord Up: Input/Output Previous: lowByte   Contents   Index
Manuel Bronstein 2004-06-28