Core.IO — oppi

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

Console IO

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

Print a string followed by a newline.

print : String -> () with Stdout

Print a string with no trailing newline (the companion of printLine). To print a non-String value, convert it first: print (show n).

putStr : String -> () with Stdout

Print a string with no trailing newline (Haskell-style name for print).

readLine : String with Stdin

Read one line from standard input (without the trailing newline).

getArgs : List String with Env

The command-line arguments passed to the program.

clockMillis : Int with Clock

The current time, in milliseconds since the Unix epoch (1970-01-01 UTC). The absolute value is meaningful (not just differences) — it can be stored, compared across runs, or converted to a date. It is still a WALL clock, so it can jump if the system clock is adjusted; to measure how long a computation took, prefer monotonicNanos, which never jumps backward: t0 <- clockMillis; …; t1 <- clockMillis; then t1 - t0.