LibraryΒΆ

files.spad line 450

This domain provides a simple way to save values in files.

=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
close!: % -> %
close!(f) returns the library f closed to input and output.
coerce: % -> OutputForm
from CoercibleTo OutputForm
construct: List Record(key: String, entry: Any) -> %
from Collection Record(key: String, entry: Any)
convert: % -> InputForm if Record(key: String, entry: Any) has ConvertibleTo InputForm
from ConvertibleTo InputForm
copy: % -> %
from Aggregate
count: (Record(key: String, entry: Any), %) -> NonNegativeInteger if Record(key: String, entry: Any) has BasicType and % has finiteAggregate
from HomogeneousAggregate Record(key: String, entry: Any)
dictionary: () -> %
from DictionaryOperations Record(key: String, entry: Any)
dictionary: List Record(key: String, entry: Any) -> %
from DictionaryOperations Record(key: String, entry: Any)
elt: (%, String) -> Any
from Eltable(String, Any)
elt: (%, String, Any) -> Any
from EltableAggregate(String, Any)
elt: (%, Symbol) -> Any
elt(lib, k) or lib.k extracts the value corresponding to the key k from the library lib.
empty: () -> %
from Aggregate
empty?: % -> Boolean
from Aggregate
entries: % -> List Any
from IndexedAggregate(String, Any)
eq?: (%, %) -> Boolean
from Aggregate
eval: (%, Any, Any) -> % if Any has Evalable Any
from InnerEvalable(Any, Any)
eval: (%, Equation Any) -> % if Any has Evalable Any
from Evalable Any
eval: (%, Equation Record(key: String, entry: Any)) -> % if Record(key: String, entry: Any) has Evalable Record(key: String, entry: Any) and Record(key: String, entry: Any) has SetCategory
from Evalable Record(key: String, entry: Any)
eval: (%, List Any, List Any) -> % if Any has Evalable Any
from InnerEvalable(Any, Any)
eval: (%, List Equation Any) -> % if Any has Evalable Any
from Evalable Any
eval: (%, List Equation Record(key: String, entry: Any)) -> % if Record(key: String, entry: Any) has Evalable Record(key: String, entry: Any) and Record(key: String, entry: Any) has SetCategory
from Evalable Record(key: String, entry: Any)
eval: (%, List Record(key: String, entry: Any), List Record(key: String, entry: Any)) -> % if Record(key: String, entry: Any) has Evalable Record(key: String, entry: Any) and Record(key: String, entry: Any) has SetCategory
from InnerEvalable(Record(key: String, entry: Any), Record(key: String, entry: Any))
eval: (%, Record(key: String, entry: Any), Record(key: String, entry: Any)) -> % if Record(key: String, entry: Any) has Evalable Record(key: String, entry: Any) and Record(key: String, entry: Any) has SetCategory
from InnerEvalable(Record(key: String, entry: Any), Record(key: String, entry: Any))
extract!: % -> Record(key: String, entry: Any)
from BagAggregate Record(key: String, entry: Any)
fill!: (%, Any) -> %
from IndexedAggregate(String, Any)
find: (Record(key: String, entry: Any) -> Boolean, %) -> Union(Record(key: String, entry: Any), failed)
from Collection Record(key: String, entry: Any)
first: % -> Any
from IndexedAggregate(String, Any)
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
index?: (String, %) -> Boolean
from IndexedAggregate(String, Any)
indices: % -> List String
from IndexedAggregate(String, Any)
insert!: (Record(key: String, entry: Any), %) -> %
from BagAggregate Record(key: String, entry: Any)
inspect: % -> Record(key: String, entry: Any)
from BagAggregate Record(key: String, entry: Any)
key?: (String, %) -> Boolean
from KeyedDictionary(String, Any)
keys: % -> List String
from KeyedDictionary(String, Any)
latex: % -> String
from SetCategory
less?: (%, NonNegativeInteger) -> Boolean
from Aggregate
library: FileName -> %
library(ln) creates a new library file.
map!: (Any -> Any, %) -> %
from HomogeneousAggregate Any
map!: (Record(key: String, entry: Any) -> Record(key: String, entry: Any), %) -> %
from HomogeneousAggregate Record(key: String, entry: Any)
map: ((Any, Any) -> Any, %, %) -> %
from TableAggregate(String, Any)
map: (Any -> Any, %) -> %
from HomogeneousAggregate Any
map: (Record(key: String, entry: Any) -> Record(key: String, entry: Any), %) -> %
from HomogeneousAggregate Record(key: String, entry: Any)
maxIndex: % -> String
from IndexedAggregate(String, Any)
member?: (Record(key: String, entry: Any), %) -> Boolean if Record(key: String, entry: Any) has BasicType and % has finiteAggregate
from HomogeneousAggregate Record(key: String, entry: Any)
minIndex: % -> String
from IndexedAggregate(String, Any)
more?: (%, NonNegativeInteger) -> Boolean
from Aggregate
pack!: % -> %
pack!(f) reorganizes the file f on disk to recover unused space.
qelt: (%, String) -> Any
from EltableAggregate(String, Any)
qsetelt!: (%, String, Any) -> Any
from EltableAggregate(String, Any)
reduce: ((Record(key: String, entry: Any), Record(key: String, entry: Any)) -> Record(key: String, entry: Any), %, Record(key: String, entry: Any), Record(key: String, entry: Any)) -> Record(key: String, entry: Any) if Record(key: String, entry: Any) has BasicType and % has finiteAggregate
from Collection Record(key: String, entry: Any)
remove!: (Record(key: String, entry: Any), %) -> % if Record(key: String, entry: Any) has BasicType and % has finiteAggregate
from DictionaryOperations Record(key: String, entry: Any)
remove!: (String, %) -> Union(Any, failed)
from KeyedDictionary(String, Any)
remove: (Record(key: String, entry: Any), %) -> % if Record(key: String, entry: Any) has BasicType and % has finiteAggregate
from Collection Record(key: String, entry: Any)
removeDuplicates: % -> % if Record(key: String, entry: Any) has BasicType and % has finiteAggregate
from Collection Record(key: String, entry: Any)
sample: %
from Aggregate
search: (String, %) -> Union(Any, failed)
from KeyedDictionary(String, Any)
setelt!: (%, String, Any) -> Any
from TableAggregate(String, Any)
setelt!: (%, Symbol, Any) -> Any
lib.k := v saves the value v in the library lib. It can later be extracted using the key k.
size?: (%, NonNegativeInteger) -> Boolean
from Aggregate
swap!: (%, String, String) -> Void
from IndexedAggregate(String, Any)
table: () -> %
from TableAggregate(String, Any)
table: List Record(key: String, entry: Any) -> %
from TableAggregate(String, Any)

Aggregate

BagAggregate Record(key: String, entry: Any)

BasicType

CoercibleTo OutputForm

Collection Record(key: String, entry: Any)

ConvertibleTo InputForm if Record(key: String, entry: Any) has ConvertibleTo InputForm

Dictionary Record(key: String, entry: Any)

DictionaryOperations Record(key: String, entry: Any)

Eltable(String, Any)

EltableAggregate(String, Any)

Evalable Any if Any has Evalable Any

Evalable Record(key: String, entry: Any) if Record(key: String, entry: Any) has Evalable Record(key: String, entry: Any) and Record(key: String, entry: Any) has SetCategory

HomogeneousAggregate Any

HomogeneousAggregate Record(key: String, entry: Any)

IndexedAggregate(String, Any)

InnerEvalable(Any, Any) if Any has Evalable Any

InnerEvalable(Record(key: String, entry: Any), Record(key: String, entry: Any)) if Record(key: String, entry: Any) has Evalable Record(key: String, entry: Any) and Record(key: String, entry: Any) has SetCategory

KeyedDictionary(String, Any)

SetCategory

shallowlyMutable

TableAggregate(String, Any)