BoundedFiniteLinearStructureType

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 $\to$ T) $\to$ % $\to$ %	lift a mapping
map!:	(T $\to$ T) $\to$ % $\to$ %	lift a mapping

if $T$ has PrimitiveType then

PrimitiveType
linearSearch:	(T, %) $\to$ (Boolean, MachineInteger, T)	linear search
	(T, %, MachineInteger) $\to$ (Boolean, MachineInteger, T)

if $T$ has InputType then

InputType

if $T$ has SerializableType then

SerializableType