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 %
construction of a structure apply: (%, MachineInteger) T
extraction of an entry firstIndex: MachineInteger index of first element set!: (%, MachineInteger, T) T
modification of an entry
ifhas PrimitiveType then
equal?: (%, %, MachineInteger) Boolean
compare the first elements