BinaryFileΒΆ

files.spad line 228

This domain provides an implementation of binary files. Data is accessed one byte at a time as a small integer.

=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
close!: % -> %
from FileCategory(FileName, SingleInteger)
coerce: % -> OutputForm
from CoercibleTo OutputForm
flush: % -> Void
from FileCategory(FileName, SingleInteger)
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
iomode: % -> String
from FileCategory(FileName, SingleInteger)
latex: % -> String
from SetCategory
name: % -> FileName
from FileCategory(FileName, SingleInteger)
open: (FileName, String) -> %
from FileCategory(FileName, SingleInteger)
open: FileName -> %
from FileCategory(FileName, SingleInteger)
position!: (%, SingleInteger) -> SingleInteger
position!(f, i) sets the current byte-position to i.
position: % -> SingleInteger
position(f) returns the current byte-position in the file f.
read!: % -> SingleInteger
from FileCategory(FileName, SingleInteger)
readIfCan!: % -> Union(SingleInteger, failed)
readIfCan!(f) returns a value from the file f, if possible. If f is not open for reading, or if f is at the end of file then "failed" is the result.
reopen!: (%, String) -> %
from FileCategory(FileName, SingleInteger)
write!: (%, SingleInteger) -> SingleInteger
from FileCategory(FileName, SingleInteger)

BasicType

CoercibleTo OutputForm

FileCategory(FileName, SingleInteger)

SetCategory