- Introduction
- Character Strings
- Printing
- The print-Statement
- Formatted Printing
- Verbose Printing
- Automatic Printing
- Indentation
- Printing to a File
- PrintFile(F, x) : MonStgElt, Any ->
- WriteBinary(F, s) : MonStgElt, BStgElt ->
- PrintFile(F, x, L) : MonStgElt, Any, MonStgElt ->
- PrintFileMagma(F, x) : MonStgElt, Any ->
- Printing to a String
- Redirecting Output
- Input
- I/O Objects
- I/O Operations
- End of File Marker
- Strings
- Read(I : parameters) : IO -> MonStgElt
- ReadCheck(I : parameters) : IO -> BoolElt, MonStgElt
- Read(I, n) : IO, RngIntElt -> MonStgElt
- ReadCheck(I, n) : IO, RngIntElt -> BoolElt, MonStgElt
- Write(I, s) : IO, MonStgElt ->
- WriteCheck(I, s) : IO, MonStgElt -> BoolElt
- Legacy String Operations
- Byte Sequences
- ReadBytes(I : parameters) : IO -> SeqEnum
- ReadBytesCheck(I : parameters) : IO -> BoolElt, SeqEnum
- ReadBytes(I, n) : IO, RngIntElt -> SeqEnum
- ReadBytesCheck(I, n) : IO, RngIntElt -> BoolElt, SeqEnum
- WriteBytes(I, S) : IO, SeqEnum ->
- WriteBytesCheck(I, S) : IO, SeqEnum -> BoolElt
- Objects
- Versions
- Positioning
- Other I/O Operations
- Managing Multiple I/O Objects
- Asynchronous I/O
- Loading a Program File
- Saving and Restoring Workspaces
- Logging a Session
- Memory Usage
- System Calls
- Creating Names
V2.28, 13 July 2023