Documentation

The IO operation to perform. The idea of splitting it out into a type like this is to enforce some kind of auditing.

Determine which IO operation this is.

If you want to add a new one, then remember to also add it as an intrinsic in the type checker, and probably also to the prelude.

Run an IO operation. Arrays are put on the server, if one is given.

Resolve relative file paths in the operation relative to the given directory, rather than the current working directory.