GeneralSparseTable(Key, Entry, Tbl, dent)ΒΆ

table.spad line 134

A sparse table has a default entry, which is returned if no other value has been explicitly stored for a key.

=: (%, %) -> Boolean if % has finiteAggregate or Entry has SetCategory or Record(key: Key, entry: Entry) has SetCategory
from BasicType
~=: (%, %) -> Boolean if % has finiteAggregate or Entry has SetCategory or Record(key: Key, entry: Entry) has SetCategory
from BasicType
coerce: % -> OutputForm if Record(key: Key, entry: Entry) has CoercibleTo OutputForm or Entry has CoercibleTo OutputForm
from CoercibleTo OutputForm
construct: List Record(key: Key, entry: Entry) -> %
from Collection Record(key: Key, entry: Entry)
convert: % -> InputForm if Record(key: Key, entry: Entry) has ConvertibleTo InputForm
from ConvertibleTo InputForm
copy: % -> %
from Aggregate
count: (Record(key: Key, entry: Entry), %) -> NonNegativeInteger if Record(key: Key, entry: Entry) has BasicType and % has finiteAggregate
from HomogeneousAggregate Record(key: Key, entry: Entry)
dictionary: () -> %
from DictionaryOperations Record(key: Key, entry: Entry)
dictionary: List Record(key: Key, entry: Entry) -> %
from DictionaryOperations Record(key: Key, entry: Entry)
elt: (%, Key) -> Entry
from Eltable(Key, Entry)
elt: (%, Key, Entry) -> Entry
from EltableAggregate(Key, Entry)
empty: () -> %
from Aggregate
empty?: % -> Boolean
from Aggregate
entries: % -> List Entry
from IndexedAggregate(Key, Entry)
eq?: (%, %) -> Boolean
from Aggregate
eval: (%, Entry, Entry) -> % if Entry has SetCategory and Entry has Evalable Entry
from InnerEvalable(Entry, Entry)
eval: (%, Equation Entry) -> % if Entry has SetCategory and Entry has Evalable Entry
from Evalable Entry
eval: (%, Equation Record(key: Key, entry: Entry)) -> % if Record(key: Key, entry: Entry) has Evalable Record(key: Key, entry: Entry) and Record(key: Key, entry: Entry) has SetCategory
from Evalable Record(key: Key, entry: Entry)
eval: (%, List Entry, List Entry) -> % if Entry has SetCategory and Entry has Evalable Entry
from InnerEvalable(Entry, Entry)
eval: (%, List Equation Entry) -> % if Entry has SetCategory and Entry has Evalable Entry
from Evalable Entry
eval: (%, List Equation Record(key: Key, entry: Entry)) -> % if Record(key: Key, entry: Entry) has Evalable Record(key: Key, entry: Entry) and Record(key: Key, entry: Entry) has SetCategory
from Evalable Record(key: Key, entry: Entry)
eval: (%, List Record(key: Key, entry: Entry), List Record(key: Key, entry: Entry)) -> % if Record(key: Key, entry: Entry) has Evalable Record(key: Key, entry: Entry) and Record(key: Key, entry: Entry) has SetCategory
from InnerEvalable(Record(key: Key, entry: Entry), Record(key: Key, entry: Entry))
eval: (%, Record(key: Key, entry: Entry), Record(key: Key, entry: Entry)) -> % if Record(key: Key, entry: Entry) has Evalable Record(key: Key, entry: Entry) and Record(key: Key, entry: Entry) has SetCategory
from InnerEvalable(Record(key: Key, entry: Entry), Record(key: Key, entry: Entry))
extract!: % -> Record(key: Key, entry: Entry)
from BagAggregate Record(key: Key, entry: Entry)
fill!: (%, Entry) -> %
from IndexedAggregate(Key, Entry)
find: (Record(key: Key, entry: Entry) -> Boolean, %) -> Union(Record(key: Key, entry: Entry), failed)
from Collection Record(key: Key, entry: Entry)
first: % -> Entry if Key has OrderedSet
from IndexedAggregate(Key, Entry)
hash: % -> SingleInteger if Record(key: Key, entry: Entry) has SetCategory or Entry has SetCategory
from SetCategory
hashUpdate!: (HashState, %) -> HashState if Record(key: Key, entry: Entry) has SetCategory or Entry has SetCategory
from SetCategory
index?: (Key, %) -> Boolean
from IndexedAggregate(Key, Entry)
indices: % -> List Key
from IndexedAggregate(Key, Entry)
insert!: (Record(key: Key, entry: Entry), %) -> %
from BagAggregate Record(key: Key, entry: Entry)
inspect: % -> Record(key: Key, entry: Entry)
from BagAggregate Record(key: Key, entry: Entry)
key?: (Key, %) -> Boolean
from KeyedDictionary(Key, Entry)
keys: % -> List Key
from KeyedDictionary(Key, Entry)
latex: % -> String if Record(key: Key, entry: Entry) has SetCategory or Entry has SetCategory
from SetCategory
less?: (%, NonNegativeInteger) -> Boolean
from Aggregate
map!: (Entry -> Entry, %) -> %
from HomogeneousAggregate Entry
map!: (Record(key: Key, entry: Entry) -> Record(key: Key, entry: Entry), %) -> %
from HomogeneousAggregate Record(key: Key, entry: Entry)
map: ((Entry, Entry) -> Entry, %, %) -> %
from TableAggregate(Key, Entry)
map: (Entry -> Entry, %) -> %
from HomogeneousAggregate Entry
map: (Record(key: Key, entry: Entry) -> Record(key: Key, entry: Entry), %) -> %
from HomogeneousAggregate Record(key: Key, entry: Entry)
maxIndex: % -> Key if Key has OrderedSet
from IndexedAggregate(Key, Entry)
member?: (Record(key: Key, entry: Entry), %) -> Boolean if Record(key: Key, entry: Entry) has BasicType and % has finiteAggregate
from HomogeneousAggregate Record(key: Key, entry: Entry)
minIndex: % -> Key if Key has OrderedSet
from IndexedAggregate(Key, Entry)
more?: (%, NonNegativeInteger) -> Boolean
from Aggregate
qelt: (%, Key) -> Entry
from EltableAggregate(Key, Entry)
qsetelt!: (%, Key, Entry) -> Entry
from EltableAggregate(Key, Entry)
reduce: ((Record(key: Key, entry: Entry), Record(key: Key, entry: Entry)) -> Record(key: Key, entry: Entry), %, Record(key: Key, entry: Entry), Record(key: Key, entry: Entry)) -> Record(key: Key, entry: Entry) if Record(key: Key, entry: Entry) has BasicType and % has finiteAggregate
from Collection Record(key: Key, entry: Entry)
remove!: (Key, %) -> Union(Entry, failed)
from KeyedDictionary(Key, Entry)
remove!: (Record(key: Key, entry: Entry), %) -> % if Record(key: Key, entry: Entry) has BasicType and % has finiteAggregate
from DictionaryOperations Record(key: Key, entry: Entry)
remove: (Record(key: Key, entry: Entry), %) -> % if Record(key: Key, entry: Entry) has BasicType and % has finiteAggregate
from Collection Record(key: Key, entry: Entry)
removeDuplicates: % -> % if Record(key: Key, entry: Entry) has BasicType and % has finiteAggregate
from Collection Record(key: Key, entry: Entry)
sample: %
from Aggregate
search: (Key, %) -> Union(Entry, failed)
from KeyedDictionary(Key, Entry)
setelt!: (%, Key, Entry) -> Entry
from TableAggregate(Key, Entry)
size?: (%, NonNegativeInteger) -> Boolean
from Aggregate
swap!: (%, Key, Key) -> Void
from IndexedAggregate(Key, Entry)
table: () -> %
from TableAggregate(Key, Entry)
table: List Record(key: Key, entry: Entry) -> %
from TableAggregate(Key, Entry)

Aggregate

BagAggregate Record(key: Key, entry: Entry)

BasicType if % has finiteAggregate or Entry has SetCategory or Record(key: Key, entry: Entry) has SetCategory

CoercibleTo OutputForm if Record(key: Key, entry: Entry) has CoercibleTo OutputForm or Entry has CoercibleTo OutputForm

Collection Record(key: Key, entry: Entry)

ConvertibleTo InputForm if Record(key: Key, entry: Entry) has ConvertibleTo InputForm

Dictionary Record(key: Key, entry: Entry)

DictionaryOperations Record(key: Key, entry: Entry)

Eltable(Key, Entry)

EltableAggregate(Key, Entry)

Evalable Entry if Entry has SetCategory and Entry has Evalable Entry

Evalable Record(key: Key, entry: Entry) if Record(key: Key, entry: Entry) has Evalable Record(key: Key, entry: Entry) and Record(key: Key, entry: Entry) has SetCategory

HomogeneousAggregate Entry

HomogeneousAggregate Record(key: Key, entry: Entry)

IndexedAggregate(Key, Entry)

InnerEvalable(Entry, Entry) if Entry has SetCategory and Entry has Evalable Entry

InnerEvalable(Record(key: Key, entry: Entry), Record(key: Key, entry: Entry)) if Record(key: Key, entry: Entry) has Evalable Record(key: Key, entry: Entry) and Record(key: Key, entry: Entry) has SetCategory

KeyedDictionary(Key, Entry)

SetCategory if Record(key: Key, entry: Entry) has SetCategory or Entry has SetCategory

shallowlyMutable

TableAggregate(Key, Entry)