- data 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 == 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 : HasIO io => io a
Exit the program indicating failure.
Totality: total- exitSuccess : HasIO io => io a
Exit the program after a successful run.
Totality: total- exitWith : HasIO io => ExitCode -> io a
- Totality: total
- getArgs : HasIO io => io (List String)
- Totality: total
- getEnv : HasIO io => String -> io (Maybe String)
- Totality: total
- getEnvironment : HasIO io => io (List (String, String))
-
- getPID : HasIO io => io Int
Get the ID of the currently running process.
Totality: total- setEnv : HasIO io => String -> String -> Bool -> io Bool
- Totality: total
- sleep : HasIO io => Int -> io ()
- Totality: total
- system : HasIO io => String -> io Int
- Totality: total
- time : HasIO io => io Integer
Return the number of seconds since epoch.
Totality: total- unsetEnv : HasIO io => String -> io Bool
- Totality: total
- usleep : HasIO io => (x : Int) -> So (x >= 0) => io ()
- Totality: total