File

Usage

import from File

Description

File is a type whose elements are operating system files.

Exports

close!:	% $\to$ MachineInteger	close a file
coerce:	% $\to$ BinaryReader	conversion to a binary input stream
coerce:	% $\to$ BinaryWriter	conversion to a binary output stream
coerce:	% $\to$ TextReader	conversion to a text input stream
coerce:	% $\to$ TextWriter	conversion to a text output stream
fileAppend:	MachineInteger	mode for open
fileBinary:	MachineInteger	mode for open
fileRead:	MachineInteger	mode for open
fileText:	MachineInteger	mode for open
fileWrite:	MachineInteger	mode for open
open:	(String, Z) $\to$ %	open a file
position:	% $\to$ Z	current position
remove:	String $\to$ ()	removes a file
setPosition!:	(%, Z) $\to$ Z	moves to a new position
setPositionFromEnd!:	(%, Z) $\to$ Z	moves to a new position
setRelativePosition!:	(%, Z) $\to$ Z	moves to a new position
uniqueName:	String $\to$ String	get a unique filename

where

Z

==

MachineInteger