nonterminal IOVal<a>

In file: IO.sv

abstract production ioval

top::IOVal<a> ::= i::IO v::a

In file: IO.sv

function print

IO ::= s::String i::IO

In file: IO.sv

function readLineStdin

IOVal<String> ::= i::IO

In file: IO.sv

function exit

IO ::= val::Integer i::IO

In file: IO.sv

function mkdir

IOVal<Boolean> ::= s::String i::IO

In file: IO.sv

function system

IOVal<Integer> ::= s::String i::IO

In file: IO.sv

function writeFile

IO ::= file::String contents::String i::IO

In file: IO.sv

function appendFile

IO ::= file::String contents::String i::IO

In file: IO.sv

function fileTime

IOVal<Integer> ::= s::String i::IO

In file: IO.sv

function isFile

IOVal<Boolean> ::= s::String i::IO

In file: IO.sv

function isDirectory

IOVal<Boolean> ::= s::String i::IO

In file: IO.sv

function readFile

IOVal<String> ::= s::String i::IO

In file: IO.sv

function cwd

IOVal<String> ::= i::IO

In file: IO.sv

function envVar

IOVal<String> ::= s::String i::IO

In file: IO.sv

function listContents

IOVal<[String]> ::= s::String i::IO

In file: IO.sv

function deleteFile

IOVal<Boolean> ::= s::String i::IO

In file: IO.sv

function deleteFiles

IOVal<Boolean> ::= s::[String] i::IO

In file: IO.sv

function deleteDirFiles

IOVal<Boolean> ::= s::String i::IO

In file: IO.sv

function deleteTree

IO ::= s::String i::IO

In file: IO.sv

function copyFile

IO ::= src::String dst::String i::IO

In file: IO.sv

function touchFile

IO ::= file::String i::IO

In file: IO.sv

function touchFiles

IO ::= files::[String] i::IO

In file: IO.sv

function error

a ::= msg::String

In file: IO.sv

function unsafeIO

IO ::=

In file: IO.sv

function genInt

Integer ::=

In file: IO.sv

function genRand

Float ::=

In file: IO.sv

function unsafeTrace

a ::= val::a act::IO

In file: IO.sv

function dirNameInFilePath

String ::= filePath::String

In file: IO.sv

function fileNameInFilePath

String ::= filePath::String

In file: IO.sv

function splitFileNameAndExtension

Pair<String String> ::= filePath::String

In file: IO.sv