io

A collection of utilities for working with the local filesystem.

create

|String| -> File

Returns an empty File at the provided path. If the file already exists it will be truncated.

Errors

A runtime error will be thrown if the file can't be created.

Example

f = io.create "foo.temp"
f.write_line "Hello"
f.read_to_string()
# Hello

current_dir

|| -> String

Returns the current working directory as a String, or Null if the current directory can't be retrieved.

exists

|String| -> Bool

Returns true if a file exists at the provided path.

Example

path = "foo.temp"
io.exists path
# false

io.create path
io.exists path
# true

extend_path

|String, Value...| -> String

Takes an initial path as a string, and extends it with the provided nodes, inserting a platform-appropriate separator between each node.

Example

# On Windows
io.extend_path ".", "foo", "bar", "baz.txt"
# .\foo\bar\baz.txt

# On Linux
io.extend_path ".", "foo", "bar", "baz.txt"
# ./foo/bar/baz.txt

open

|String| -> File

Opens the file at the given path, and returns a corresponding File.

Errors

An error is thrown if a file can't be opened at the given path.

Example

f = io.open "path/to/existing.file"
f.exists()
# true

print

```kototype
|Value| -> Null

Prints a single value to the active output.

|Value, Value...| -> Null

Prints a series of values to the active output as a tuple.

Note

• To print formatted strings, see string.format.
• The output for print depends on the configuration of the runtime. The default output is stdout.

read_to_string

|String| -> String

Returns a string containing the contents of the file at the given path.

Errors

Errors are thrown:

• if the file doesn't contain valid UTF-8 data.
• if a file can't be opened at the given path.

Example

f = io.create "foo.temp"
f.write_line "Hello!"
io.read_to_string "foo.temp"
# Hello!

remove_file

|String| -> Null

Removes the file at the given path.

Errors

• An error is thrown if a file can't be removed at the given path.

Example

path = "foo.temp"
io.create path
io.exists path
# true

io.remove_file path
io.exists path
# false

stderr

|| -> File

Returns the standard error output of the current process as a file.

Example

io.stderr().write_line "An error occurred!"

See Also

• io.stdin
• io.stdout

stdin

|| -> File

Returns the standard input of the current process as a file.

Example

io.stdin().read_to_string()
# "..."

See Also

• io.stderr
• io.stdout

stdout

|| -> File

Returns the standard output of the current process as a file.

Example

io.stdout().write_line "Hello, World!"

See Also

• io.stderr
• io.stdin

temp_dir

|| -> String

Returns the path to a temporary directory.

Note

This defers to Rust's std::env::temp_dir, for details see its documentation.

File

A map that wraps a file handle, returned from functions in io.

File.flush

|File| -> Null

Ensures that any buffered changes to the file have been written.

See Also

• file.write
• file.write_line

File.path

|File| -> String

Returns the file's path.

File.read_line

|File| -> String or Null

Reads a line of output from the file as a string, not including the newline.

When the end of the file is reached, Null will be returned.

Errors

An error is thrown if the line doesn't contain valid UTF-8 data.

File.read_to_string

|File| -> String

Reads the file's contents to a string.

Errors

An error is thrown if the file doesn't contain valid UTF-8 data.

File.seek

|File, Number| -> Null

Seeks within the file to the specified position in bytes.

File.write

|File, Value| -> Null

Writes the formatted value as a string to the file.

File.write_line

|File, Value| -> Null

Writes the formatted value as a string, with a newline, to the file.