KeyedAccessFile EntryΒΆ

files.spad line 228 [edit on github]

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

#: % -> NonNegativeInteger

from Aggregate

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

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

from HomogeneousAggregate Entry

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

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

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 -> Boolean, %) -> NonNegativeInteger

from HomogeneousAggregate Entry

count: (Entry, %) -> NonNegativeInteger

from HomogeneousAggregate Entry

count: (Record(key: String, entry: Entry) -> Boolean, %) -> 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?: % -> Boolean

from Aggregate

empty: () -> %

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

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

from HomogeneousAggregate Entry

every?: (Record(key: String, entry: Entry) -> Boolean, %) -> 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: (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))

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

from HomogeneousAggregate Entry

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

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

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)

max: % -> Entry if Entry has OrderedSet

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: ((Entry, Entry) -> Boolean, %) -> Entry

from HomogeneousAggregate Entry

max: ((Record(key: String, entry: Entry), Record(key: String, entry: Entry)) -> Boolean, %) -> 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)

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

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.

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)

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)

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

from Collection 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) -> Boolean, %) -> %

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)

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

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)

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)

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

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

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

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

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)