IO

Char

the End-Of-File character as a literal.

(λ [&String] ())

(λ [&String] String)

(Array (Array String))

(λ [Int] a)

exit the current program with a return code.

(λ [(Ptr FILE)] ())

closes a file pointer.

(λ [(Ptr FILE)] Char)

gets a character from a file pointer.

(λ [&String, &String] (Ptr FILE))

opens a file by name using a mode (one or multiple of [r]ead, [w]rite, and [a]ppend), returns a file pointer.

(λ [a, Int, Int, (Ptr FILE)] ())

writes to a file pointer.

(λ [] Char)

gets a character from stdin.

(λ [] String)

gets a line from stdin.

Int

(λ [&String] ())

prints a string ref to stdout, does not append a newline.

(λ [&String] ())

prints a string ref to stdout, appends a newline.

(λ [&String] String)

reads a file given by name until the End-Of-File character is reached.

(λ [&String] String)

returns the contents of a file passed as argument as a string.