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