IdrisDoc: System

# System

usleep : (i : Int) -> {auto prf : So (i >= fromInteger 0 && Delay (i <= fromInteger 1000000))} -> IO ()

  Specify interval to sleep for, must be in range [0, 1000000]

unsetEnv : String -> IO Bool

  Unsets an environment variable.
  Returns true if the variable was able to be unset.

time : IO Integer

  Get the numbers of seconds since 1st January 1970, 00:00 UTC

system : String -> IO Int
setEnv : String -> String -> IO Bool

  Sets an environment variable with a given value.
  Returns true if the operation was successful.

getEnvironment : IO (List ( String, String))
getEnv : String -> IO (Maybe String)

  Retrieves a value from the environment if the given key is present,
  otherwise it returns Nothing.

exitWith : (code : ExitCode) -> IO a

  Terminate the program with an `ExitCode`. This code indicates the
  success of the program's execution, and returns the success code
  to the program's caller.

  code

    The `ExitCode` for program.

exitSuccess : IO a

  Exit the program after a successful run.

exitFailure : IO a

  Exit the program indicating failure.

exit : Int -> IO a

  Quit with a particular exit code

data ExitCode : Type

  Programs can either terminate successfully, or end in a caught
  failure.

  ExitSuccess : ExitCode

    Terminate successfully.

  ExitFailure : (errNo : Int) -> {auto prf : 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.