Core.IO — oppi

PréludeChargé par défaut — aucun import nécessaire.

Entrées-sorties console

Synopsis

printLine : String -> () with Stdout
print : String -> () with Stdout
putStr : String -> () with Stdout
readLine : String with Stdin
getArgs : List String with Env
clockMillis : Int with Clock

printLine : String -> () with Stdout

Affiche une chaîne suivie d'un retour à la ligne.

print : String -> () with Stdout

Affiche une chaîne sans retour à la ligne (le compagnon de printLine). Pour afficher une valeur non-String, convertis-la d'abord : print (show n).

putStr : String -> () with Stdout

Affiche une chaîne sans retour à la ligne (nom à la Haskell de print).

readLine : String with Stdin

Lit une ligne sur l'entrée standard (sans le retour à la ligne final).

getArgs : List String with Env

Les arguments de ligne de commande passés au programme.

clockMillis : Int with Clock

L'heure actuelle, en millisecondes depuis l'epoch Unix (1970-01-01 UTC). La valeur absolue a un sens (pas seulement les différences) — elle peut être stockée, comparée entre deux exécutions, ou convertie en date. C'est quand même une horloge MURALE : elle peut sauter si l'horloge système est ajustée ; pour mesurer la durée d'un calcul, préfère monotonicNanos, qui ne saute jamais en arrière : t0 <- clockMillis; …; t1 <- clockMillis; puis t1 - t0.