lookupEnv : String -> Maybe String with Env
Recherche une variable d'environnement ; Nothing si elle n'est pas définie.
import System.EnvlookupEnv : String -> Maybe String with Env
Recherche une variable d'environnement ; Nothing si elle n'est pas définie.
getEnv : String -> Result String String with Env
Récupère une variable d'environnement, ou un message d'erreur nommant la variable manquante.
currentDir : Path with Env
Le répertoire de travail courant.
homeDir : Maybe Path with Env
Le répertoire personnel de l'utilisateur, s'il est connu.
time : Int with Clock
L'heure de l'horloge en millisecondes (seules les différences ont un sens).
sleep : Nat -> () with Clock
Met en pause pendant le nombre de millisecondes indiqué (sans effet dans le navigateur).
exit : Int -> a with IO
Termine le programme avec le code de sortie indiqué. Ne renvoie jamais.