Console

object Console extends Serializable
Companion:
class
class Object
trait Matchable
class Any
Console.type

Type members

Classlikes

object ConsoleLive extends Console

Value members

Concrete methods

def printError(line: => Any)(implicit trace: Trace): IO[IOException, Unit]

Prints text to the standard error console.

Prints text to the standard error console.

def printLine(line: => Any)(implicit trace: Trace): IO[IOException, Unit]

Prints a line of text to the console, including a newline character.

Prints a line of text to the console, including a newline character.

def printLineError(line: => Any)(implicit trace: Trace): IO[IOException, Unit]

Prints a line of text to the standard error console, including a newline character.

Prints a line of text to the standard error console, including a newline character.

def readLine(implicit trace: Trace): IO[IOException, String]

Retrieves a line of input from the console. Fails with an java.io.EOFException when the underlying java.io.Reader returns null.

Retrieves a line of input from the console. Fails with an java.io.EOFException when the underlying java.io.Reader returns null.

def readLine(prompt: String)(implicit trace: Trace): IO[IOException, String]

Prints the given prompt and then reads a line of input from the console. Fails with an java.io.EOFException when the underlying java.io.Reader returns null.

Prints the given prompt and then reads a line of input from the console. Fails with an java.io.EOFException when the underlying java.io.Reader returns null.

Concrete fields