august.io
Supplied with the compiler. Import public names from august.io.
Signatures show result types and checked errors. See packages to pin a release and language constructs for built-in types.
Console
capability ConsolePermission to write to a console, provided by an explicitly selected adapter.
Console.write
write<T>(T value)Write one line of text.
Parameters
value: Text to display.
Uses Console.write.
SystemConsole
SystemConsole() implements ConsoleThe native standard-output adapter. Construction performs no output.
SystemConsole.write
write<T>(T value)Write one line of text.
Parameters
value: Text to display.
Uses Console.write.
FileReader
capability FileReaderRead UTF-8 text through an explicitly selected filesystem adapter.
FileReader.read
read(string path) returns string unless FileErrorRead text.
Parameters
path: File path.
Throws
FileError: The file could not be read.
Uses FileReader.read.
FileWriter
capability FileWriterWrite UTF-8 text through an explicitly selected filesystem adapter.
FileWriter.write
write(string path, string content) unless FileErrorWrite text.
Parameters
path: File path.content: Text.
Throws
FileError: Writing failed.
Uses FileWriter.write.
LocalFiles
LocalFiles() implements FileReader, FileWriterNative filesystem adapter. Construction opens no files.
LocalFiles.read
read(string path) returns string unless FileErrorRead text.
Parameters
path: File path.
Throws
FileError: The file could not be read.
Uses FileReader.read.
LocalFiles.write
write(string path, string content) unless FileErrorWrite text.
Parameters
path: File path.content: Text.
Throws
FileError: Writing failed.
Uses FileWriter.write.
Arguments
capability ArgumentsRead command-line input through an explicit dependency.
Arguments.read
read() returns List<string>Uses Arguments.read.
ProcessArguments
ProcessArguments() implements ArgumentsNative command-line arguments.
ProcessArguments.read
read() returns List<string>Uses Arguments.read.