Idris2Doc : System

System

ExitCode : Type
Programs can either terminate successfully, or end in a caught
failure.
Totality: total
Constructors:
ExitSuccess : ExitCode
Terminate successfully.
ExitFailure : (errNo : Int) -> So (not (errNo==fromInteger 0)) => ExitCode
Program terminated for some prescribed reason.

@errNo A non-zero numerical value indicating failure.
@prf Proof that the int value is non-zero.
exitFailure : HasIOio => ioa
Exit the program indicating failure.
exitSuccess : HasIOio => ioa
Exit the program after a successful run.
exitWith : HasIOio => ExitCode -> ioa
getArgs : HasIOio => io (List String)
getEnv : HasIOio => String -> io (Maybe String)
getEnvironment : HasIOio => io (List (String, String))
setEnv : HasIOio => String -> String -> Bool -> ioBool
sleep : HasIOio => Int -> ioUnit
system : HasIOio => String -> io Int
time : HasIOio => io Integer
unsetEnv : HasIOio => String -> ioBool
usleep : HasIOio => (x : Int) -> So (x>=fromInteger 0) => ioUnit