Usage
TableType(K, V): Category
Parameter | Type | Description |
---|---|---|
K | PrimitiveType | the type of the keys |
V | Type | the type of the entries |
Description
TableType(K, V) is the category of tables, i.e. discrete many-to-one mappings from keys to entries. More precisely, every element of a domain of this category is a table whose slots contain elements from V and such that every slot is given by a unique key from K.
Exports
BoundedFiniteDataStructureType Cross(K, V) []: Tuple Cross(K, V) %
creation of a table apply: (%, K) V
extraction of an entry entries: % Generator V
iterate through the entries find: (K, %) Partial V
search for an entry keys: % Generator K
iterate through the keys numberOfEntries: % MachineInteger
number of entries set!: (%, K, V) V
modification of an entry table: () %
creation of a table MachineInteger %
ifhas InputType and
has InputType then
InputType
ifhas OutputType and
has OutputType then
OutputType
ifhas SerializableType and
has SerializableType then
SerializableType