String

Usage

import from String

Description

String provides basic strings, null-terminated, $0$-indexed and without bound checking.

Exports

ArrayType(Character, PackedPrimitiveArray Character)
$+$:	(%, %) $\to$ %	concatenation
char:	% $\to$ Character	first character
coerce:	Character $\to$ %	conversion to a string
coerce:	% $\to$ TextReader	conversion to a text input stream
coerce:	% $\to$ TextWriter	conversion to a text output stream
error:	% $\to$ Exit	error exit
new:	MachineInteger $\to$ %	buffer allocation
pointer:	% $\to$ Pointer	conversion to a null-terminated C-string
string:	Pointer $\to$ %	conversion from a null-terminated C-string