Namespaces Symbols

System.StdErr

0.40.0

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.