← all modules

Sky.Core.Io

Sky.Core.Io
  Sky.Core.Io — standard input / output (Layer 3 Sky source).

Values
  readLine : () -> Task Error String
      Read one line from stdin (trailing newline stripped).
  writeStderr : String -> Task Error ()
  writeStdout : String -> Task Error ()