ArrayType

Usage

ArrayType(T, P): Category

Parameter	Type	Description
T	Type	the type of the array entries
P	PrimitiveArrayType T	the type of the underlying data

Description

ArrayType is the category of arrays whose entries are of type $T$ and whose underlying data is of type $P$.

Exports

BoundedFiniteLinearStructureType T
array:	(P, MachineInteger) $\to$ %	construction of an array
data:	% $\to$ P	access to raw data
new:	MachineInteger $\to$ %	creation of an array
resize!:	(%, MachineInteger) $\to$ %	resize an array
sort!:	(%, (T, T) $\to$ Boolean) $\to$ %	sort an array

if $T$ has TotallyOrderedType then

TotallyOrderedType
binarySearch:	(T, %) $\to$ (Boolean, MachineInteger)	binary search
sort!:	% $\to$ %	sort an array