lookupEnv : String -> Maybe String with Env
Look up an environment variable; Nothing if it is not set.
import System.EnvlookupEnv : String -> Maybe String with Env
Look up an environment variable; Nothing if it is not set.
getEnv : String -> Result String String with Env
Get an environment variable, or an error message naming the missing var.
currentDir : Path with Env
The current working directory.
homeDir : Maybe Path with Env
The user's home directory, if known.
time : Int with Clock
The wall-clock time in milliseconds (only differences are meaningful).
sleep : Nat -> () with Clock
Pause for the given number of milliseconds (a no-op in the browser).
exit : Int -> a with IO
End the program with the given exit code. Never returns.