Library

files.spad line 331 [edit on github]

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

= : (%, %) -> 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 : (Mapping(Boolean, Record(key : String, entry : Any)), %) -> Union(Record(key : String, entry : Any), "failed")

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

first : % -> Any

from IndexedAggregate(String, Any)

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 : (Mapping(Any, Any), %) -> %

from HomogeneousAggregate(Any)

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

from TableAggregate(String, Any)

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

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

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

from HomogeneousAggregate(Any)

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

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))

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

from HomogeneousAggregate(Any)

min : % -> Record(key : String, entry : Any) if Record(key : String, entry : Any) has OrderedSet 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 : (Mapping(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 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)

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)

~= : (%, %) -> Boolean

from BasicType

ConvertibleTo(InputForm)

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

KeyedDictionary(String, Any)

Aggregate

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

TableAggregate(String, Any)

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

Eltable(String, Any)

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

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

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

EltableAggregate(String, Any)

HomogeneousAggregate(Any)

SetCategory

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

CoercibleTo(OutputForm)

IndexedAggregate(String, Any)

InnerEvalable(Any, Any)

shallowlyMutable

BasicType

Evalable(Any)