KeyedAccessFile EntryΒΆ

files.spad line 330

This domain allows a random access file to be viewed both as a table and as a file object.

=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
close!: % -> %
from FileCategory(FileName, Record(key: String, entry: Entry))
coerce: % -> 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
from HomogeneousAggregate 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
from IndexedAggregate(String, Entry)
eq?: (%, %) -> Boolean
from Aggregate
eval: (%, Entry, Entry) -> % if Entry has Evalable Entry
from InnerEvalable(Entry, Entry)
eval: (%, Equation Entry) -> % if 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 Evalable Entry
from InnerEvalable(Entry, Entry)
eval: (%, List Equation Entry) -> % if 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))
extract!: % -> Record(key: String, entry: Entry)
from BagAggregate Record(key: String, entry: Entry)
find: (Record(key: String, entry: Entry) -> Boolean, %) -> Union(Record(key: String, entry: Entry), failed)
from Collection Record(key: String, entry: Entry)
first: % -> Entry
from IndexedAggregate(String, Entry)
flush: % -> Void
from FileCategory(FileName, Record(key: String, entry: Entry))
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
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)
iomode: % -> String
from FileCategory(FileName, Record(key: String, entry: Entry))
key?: (String, %) -> Boolean
from KeyedDictionary(String, Entry)
keys: % -> List String
from KeyedDictionary(String, Entry)
latex: % -> String
from SetCategory
less?: (%, NonNegativeInteger) -> Boolean
from Aggregate
map: ((Entry, Entry) -> Entry, %, %) -> %
from TableAggregate(String, Entry)
map: (Entry -> Entry, %) -> %
from HomogeneousAggregate Entry
map: (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
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)
minIndex: % -> String
from IndexedAggregate(String, Entry)
more?: (%, NonNegativeInteger) -> Boolean
from Aggregate
name: % -> FileName
from FileCategory(FileName, Record(key: String, entry: Entry))
open: (FileName, String) -> %
from FileCategory(FileName, Record(key: String, entry: Entry))
open: FileName -> %
from FileCategory(FileName, Record(key: String, entry: Entry))
pack!: % -> %
pack!(f) reorganizes the file f on disk to recover unused space.
qelt: (%, String) -> Entry
from EltableAggregate(String, Entry)
read!: % -> Record(key: String, entry: Entry)
from FileCategory(FileName, Record(key: String, entry: Entry))
reduce: ((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!: (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)
remove: (Record(key: String, entry: Entry), %) -> % if Record(key: String, entry: Entry) has BasicType
from Collection Record(key: String, entry: Entry)
removeDuplicates: % -> % if Record(key: String, entry: Entry) has BasicType
from Collection Record(key: String, entry: Entry)
reopen!: (%, String) -> %
from FileCategory(FileName, Record(key: String, entry: Entry))
sample: %
from Aggregate
search: (String, %) -> Union(Entry, failed)
from KeyedDictionary(String, Entry)
setelt!: (%, String, Entry) -> Entry
from TableAggregate(String, Entry)
size?: (%, NonNegativeInteger) -> Boolean
from Aggregate
table: () -> %
from TableAggregate(String, Entry)
table: List Record(key: String, entry: Entry) -> %
from TableAggregate(String, Entry)
write!: (%, Record(key: String, entry: Entry)) -> Record(key: String, entry: Entry)
from FileCategory(FileName, Record(key: String, entry: Entry))

Aggregate

BagAggregate Record(key: String, entry: Entry)

BasicType

CoercibleTo OutputForm

Collection Record(key: String, entry: Entry)

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

Dictionary Record(key: String, entry: Entry)

DictionaryOperations Record(key: String, entry: Entry)

Eltable(String, Entry)

EltableAggregate(String, Entry)

Evalable Entry if Entry has Evalable Entry

Evalable 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

FileCategory(FileName, Record(key: String, entry: Entry))

finiteAggregate

HomogeneousAggregate Entry

HomogeneousAggregate Record(key: String, entry: Entry)

IndexedAggregate(String, Entry)

InnerEvalable(Entry, Entry) if Entry has Evalable Entry

InnerEvalable(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

KeyedDictionary(String, Entry)

SetCategory

shallowlyMutable

TableAggregate(String, Entry)