IO

Table of contents

1. IO
   1. Constants
   2. IO.print(…Value) -> Nil
   3. IO.println(…Value) -> Nil
   4. IO.eprint(…Value) -> Nil
   5. IO.eprintln(…Value) -> Nil
   6. IO.copyFile(String: src, String: dst) -> Result<Nil>

IO

To make use of the IO module an import is required.

import IO;

Constants

IO.print(…Value) -> Nil

Prints a given list of values to stdout.

IO.print(0);
// 0

IO.println(…Value) -> Nil

Prints a given list of values to stdout with an appended newline character.

IO.println("Dictu!");
// Dictu!

IO.eprint(…Value) -> Nil

Prints a given list of values to stderr.

IO.eprint(0);
// 0

IO.eprintln(…Value) -> Nil

Prints a given list of values to stderr with an appended newline character.

IO.eprintln("Dictu!");
// Dictu!

IO.copyFile(String: src, String: dst) -> Result<Nil>

Copies the contents from the source file to the destination file.

Returns a Result type and on success will unwrap to nil.

IO.copyFile(src, dst);