StringTable(Entry)

table.spad line 119 [edit on github]

• Entry : Type

This domain provides tables where the keys are strings. A specialized hash function for strings is used.

# : % -> NonNegativeInteger

from Aggregate

= : (%, %) -> Boolean if Entry has BasicType or Record(key : String, entry : Entry) has BasicType

from BasicType

any? : (Mapping(Boolean, Entry), %) -> Boolean

from HomogeneousAggregate(Entry)

any? : (Mapping(Boolean, Record(key : String, entry : Entry)), %) -> Boolean

from HomogeneousAggregate(Record(key : String, entry : Entry))

coerce : % -> OutputForm if Entry has CoercibleTo(OutputForm) or Record(key : String, entry : Entry) has CoercibleTo(OutputForm)

from CoercibleTo(OutputForm)

construct : List(Record(key : String, entry : Entry)) -> %

from Collection(Record(key : String, entry : Entry))

convert : % -> InputForm if Record(key : String, entry : Entry) has ConvertibleTo(InputForm)

from ConvertibleTo(InputForm)

copy : % -> %

from Aggregate

count : (Entry, %) -> NonNegativeInteger if Entry has BasicType

from HomogeneousAggregate(Entry)

count : (Mapping(Boolean, Entry), %) -> NonNegativeInteger

from HomogeneousAggregate(Entry)

count : (Mapping(Boolean, Record(key : String, entry : Entry)), %) -> NonNegativeInteger

from HomogeneousAggregate(Record(key : String, entry : Entry))

count : (Record(key : String, entry : Entry), %) -> NonNegativeInteger if Record(key : String, entry : Entry) has BasicType

from HomogeneousAggregate(Record(key : String, entry : Entry))

dictionary : () -> %

from DictionaryOperations(Record(key : String, entry : Entry))

dictionary : List(Record(key : String, entry : Entry)) -> %

from DictionaryOperations(Record(key : String, entry : Entry))

elt : (%, String) -> Entry

from Eltable(String, Entry)

elt : (%, String, Entry) -> Entry

from EltableAggregate(String, Entry)

empty : () -> %

from Aggregate

empty? : % -> Boolean

from Aggregate

entries : % -> List(Entry)

from IndexedAggregate(String, Entry)

entry? : (Entry, %) -> Boolean if Entry has BasicType

from IndexedAggregate(String, 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 : String, entry : Entry))) -> % if Record(key : String, entry : Entry) has Evalable(Record(key : String, entry : Entry)) and Record(key : String, entry : Entry) has SetCategory

from Evalable(Record(key : String, 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 : String, entry : Entry)))) -> % if Record(key : String, entry : Entry) has Evalable(Record(key : String, entry : Entry)) and Record(key : String, entry : Entry) has SetCategory

from Evalable(Record(key : String, entry : Entry))

eval : (%, List(Record(key : String, entry : Entry)), List(Record(key : String, entry : Entry))) -> % if Record(key : String, entry : Entry) has Evalable(Record(key : String, entry : Entry)) and Record(key : String, entry : Entry) has SetCategory

from InnerEvalable(Record(key : String, entry : Entry), Record(key : String, entry : Entry))

eval : (%, Record(key : String, entry : Entry), Record(key : String, entry : Entry)) -> % if Record(key : String, entry : Entry) has Evalable(Record(key : String, entry : Entry)) and Record(key : String, entry : Entry) has SetCategory

from InnerEvalable(Record(key : String, entry : Entry), Record(key : String, entry : Entry))

every? : (Mapping(Boolean, Entry), %) -> Boolean

from HomogeneousAggregate(Entry)

every? : (Mapping(Boolean, Record(key : String, entry : Entry)), %) -> Boolean

from HomogeneousAggregate(Record(key : String, entry : Entry))

extract! : % -> Record(key : String, entry : Entry)

from BagAggregate(Record(key : String, entry : Entry))

fill! : (%, Entry) -> %

from IndexedAggregate(String, Entry)

find : (Mapping(Boolean, Record(key : String, entry : Entry)), %) -> Union(Record(key : String, entry : Entry), "failed")

from Collection(Record(key : String, entry : Entry))

first : % -> Entry

from IndexedAggregate(String, Entry)

index? : (String, %) -> Boolean

from IndexedAggregate(String, Entry)

indices : % -> List(String)

from IndexedAggregate(String, Entry)

insert! : (Record(key : String, entry : Entry), %) -> %

from BagAggregate(Record(key : String, entry : Entry))

inspect : % -> Record(key : String, entry : Entry)

from BagAggregate(Record(key : String, entry : Entry))

key? : (String, %) -> Boolean

from KeyedDictionary(String, Entry)

keys : % -> List(String)

from KeyedDictionary(String, Entry)

latex : % -> String if Entry has SetCategory or Record(key : String, entry : Entry) has SetCategory

from SetCategory

less? : (%, NonNegativeInteger) -> Boolean

from Aggregate

map : (Mapping(Entry, Entry), %) -> %

from HomogeneousAggregate(Entry)

map : (Mapping(Entry, Entry, Entry), %, %) -> %

from TableAggregate(String, Entry)

map : (Mapping(Record(key : String, entry : Entry), Record(key : String, entry : Entry)), %) -> %

from HomogeneousAggregate(Record(key : String, entry : Entry))

map! : (Mapping(Entry, Entry), %) -> %

from HomogeneousAggregate(Entry)

map! : (Mapping(Record(key : String, entry : Entry), Record(key : String, entry : Entry)), %) -> %

from HomogeneousAggregate(Record(key : String, entry : Entry))

max : % -> Entry if Entry has OrderedSet

from HomogeneousAggregate(Entry)

max : (Mapping(Boolean, Entry, Entry), %) -> Entry

from HomogeneousAggregate(Entry)

max : % -> Record(key : String, entry : Entry) if Record(key : String, entry : Entry) has OrderedSet

from HomogeneousAggregate(Record(key : String, entry : Entry))

max : (Mapping(Boolean, Record(key : String, entry : Entry), Record(key : String, entry : Entry)), %) -> Record(key : String, entry : Entry)

from HomogeneousAggregate(Record(key : String, entry : Entry))

maxIndex : % -> String

from IndexedAggregate(String, Entry)

member? : (Entry, %) -> Boolean if Entry has BasicType

from HomogeneousAggregate(Entry)

member? : (Record(key : String, entry : Entry), %) -> Boolean if Record(key : String, entry : Entry) has BasicType

from HomogeneousAggregate(Record(key : String, entry : Entry))

members : % -> List(Entry)

from HomogeneousAggregate(Entry)

members : % -> List(Record(key : String, entry : Entry))

from HomogeneousAggregate(Record(key : String, entry : Entry))

min : % -> Entry if Entry has OrderedSet

from HomogeneousAggregate(Entry)

min : % -> Record(key : String, entry : Entry) if Record(key : String, entry : Entry) has OrderedSet

from HomogeneousAggregate(Record(key : String, entry : Entry))

minIndex : % -> String

from IndexedAggregate(String, Entry)

more? : (%, NonNegativeInteger) -> Boolean

from Aggregate

parts : % -> List(Entry)

from HomogeneousAggregate(Entry)

parts : % -> List(Record(key : String, entry : Entry))

from HomogeneousAggregate(Record(key : String, entry : Entry))

qelt : (%, String) -> Entry

from EltableAggregate(String, Entry)

qsetelt! : (%, String, Entry) -> Entry

from EltableAggregate(String, Entry)

reduce : (Mapping(Record(key : String, entry : Entry), Record(key : String, entry : Entry), Record(key : String, entry : Entry)), %) -> Record(key : String, entry : Entry)

from Collection(Record(key : String, entry : Entry))

reduce : (Mapping(Record(key : String, entry : Entry), Record(key : String, entry : Entry), Record(key : String, entry : Entry)), %, Record(key : String, entry : Entry)) -> Record(key : String, entry : Entry)

from Collection(Record(key : String, entry : Entry))

reduce : (Mapping(Record(key : String, entry : Entry), Record(key : String, entry : Entry), Record(key : String, entry : Entry)), %, Record(key : String, entry : Entry), Record(key : String, entry : Entry)) -> Record(key : String, entry : Entry) if Record(key : String, entry : Entry) has BasicType

from Collection(Record(key : String, entry : Entry))

remove : (Mapping(Boolean, Record(key : String, entry : Entry)), %) -> %

from Collection(Record(key : String, entry : Entry))

remove : (Record(key : String, entry : Entry), %) -> % if Record(key : String, entry : Entry) has BasicType

from Collection(Record(key : String, entry : Entry))

remove! : (Mapping(Boolean, Record(key : String, entry : Entry)), %) -> %

from DictionaryOperations(Record(key : String, entry : Entry))

remove! : (Record(key : String, entry : Entry), %) -> % if Record(key : String, entry : Entry) has BasicType

from DictionaryOperations(Record(key : String, entry : Entry))

remove! : (String, %) -> Union(Entry, "failed")

from KeyedDictionary(String, Entry)

removeDuplicates : % -> % if Record(key : String, entry : Entry) has BasicType

from Collection(Record(key : String, entry : Entry))

sample : () -> %

from Aggregate

search : (String, %) -> Union(Entry, "failed")

from KeyedDictionary(String, Entry)

select : (Mapping(Boolean, Record(key : String, entry : Entry)), %) -> %

from Collection(Record(key : String, entry : Entry))

select! : (Mapping(Boolean, Record(key : String, entry : Entry)), %) -> %

from DictionaryOperations(Record(key : String, entry : Entry))

setelt! : (%, String, Entry) -> Entry

from TableAggregate(String, Entry)

size? : (%, NonNegativeInteger) -> Boolean

from Aggregate

swap! : (%, String, String) -> Void

from IndexedAggregate(String, Entry)

table : () -> %

from TableAggregate(String, Entry)

table : List(Record(key : String, entry : Entry)) -> %

from TableAggregate(String, Entry)

~= : (%, %) -> Boolean if Entry has BasicType or Record(key : String, entry : Entry) has BasicType

from BasicType

TableAggregate(String, Entry)

ConvertibleTo(InputForm)

BagAggregate(Record(key : String, entry : Entry))

Aggregate

HomogeneousAggregate(Record(key : String, entry : Entry))

BasicType

Collection(Record(key : String, entry : Entry))

HomogeneousAggregate(Entry)

InnerEvalable(Record(key : String, entry : Entry), Record(key : String, entry : Entry))

Dictionary(Record(key : String, entry : Entry))

DictionaryOperations(Record(key : String, entry : Entry))

Evalable(Entry)

Evalable(Record(key : String, entry : Entry))

SetCategory

KeyedDictionary(String, Entry)

InnerEvalable(Entry, Entry)

IndexedAggregate(String, Entry)

Eltable(String, Entry)

EltableAggregate(String, Entry)

CoercibleTo(OutputForm)

finiteAggregate

shallowlyMutable