BoundedFiniteDataStructureType

Usage

BoundedFiniteDataStructureType T: Category

Parameter	Type	Description
T	Type	the type of the entries

Description

BoundedFiniteDataStructureType is the category of finite general structures whose entries are of type T and whose size is always known.

Exports

CopyableType
DataStructureType
#:	% $\to$ MachineInteger	number of entries
generator:	% $\to$ Generator T	iteration over a structure

if $T$ has PrimitiveType then

findAll:	(T, %) $\to$ Generator Cross(MachineInteger, T)	linear search
member?:	(T, %) $\to$ Boolean	look for a value

if $T$ has HashType then

HashType

if $T$ has OutputType then

OutputType