LinearStructureType

Usage

LinearStructureType T: Category

Parameter	Type	Description
T	Type	the type of the entries

Description

LinearStructureType is the category of linear structures whose entries are of type T.

Exports

DataStructureType
[]:	Generator T $\to$ %	construction of a structure
apply:	(%, MachineInteger) $\to$ T	extraction of an entry
firstIndex:	MachineInteger	index of first element
set!:	(%, MachineInteger, T) $\to$ T	modification of an entry

if $T$ has PrimitiveType then

equal?:

(%, %, MachineInteger) $\to$ Boolean

compare the first $n$ elements