LibraryΒΆ

files.spad line 450 [edit on github]

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 % has finiteAggregate and Record(key: String, entry: Any) has BasicType

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?: % -> Boolean

from Aggregate

empty: () -> %

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

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

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

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

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)

max: % -> Any if % has finiteAggregate and Any has OrderedSet

from HomogeneousAggregate Any

max: % -> Record(key: String, entry: Any) if % has finiteAggregate and Record(key: String, entry: Any) has OrderedSet

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

maxIndex: % -> String

from IndexedAggregate(String, Any)

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

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

min: % -> Any if % has finiteAggregate and Any has OrderedSet

from HomogeneousAggregate Any

min: % -> Record(key: String, entry: Any) if % has finiteAggregate and Record(key: String, entry: Any) has OrderedSet

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 % has finiteAggregate and Record(key: String, entry: Any) has BasicType

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

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

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

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

from KeyedDictionary(String, Any)

remove: (Record(key: String, entry: Any), %) -> % if % has finiteAggregate and Record(key: String, entry: Any) has BasicType

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

removeDuplicates: % -> % if % has finiteAggregate and Record(key: String, entry: Any) has BasicType

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

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

KeyedDictionary(String, Any)

SetCategory

shallowlyMutable

TableAggregate(String, Any)