Usage
BoundedFiniteLinearStructureType T: Category
Parameter | Type | Description |
---|---|---|
T | Type | the type of the entries |
Description
BoundedFiniteLinearStructureType is the category of finite linear structures whose entries are of type T and whose size is always known.
Exports
BoundedFiniteDataStructureType T FiniteLinearStructureType T map: (T T)
%
%
lift a mapping map!: (T T)
%
%
lift a mapping
ifhas PrimitiveType then
PrimitiveType linearSearch: (T, %) (Boolean, MachineInteger, T)
linear search (T, %, MachineInteger) (Boolean, MachineInteger, T)
ifhas InputType then
InputType
ifhas SerializableType then
SerializableType