System.StdErr

Definitions

def flush(): Unit \ IO Source

Flushes the standard error stream.

def newLine(): Unit \ IO Source

Prints a newline to the standard error stream.

def print(s: String): Unit \ IO Source

Prints the given string s to the standard error stream.

def println(s: String): Unit \ IO Source

Prints the given string s and a newline to the standard error stream.