Console
eff Console
SourceAn effect used to interact with the console.
Operations
def eprint(s: String): Unit
SourcePrints the given string s
to the standard err.
def eprintln(s: String): Unit
SourcePrints the given string s
to the standard err followed by a new line.
def print(s: String): Unit
SourcePrints the given string s
to the standard out.
def println(s: String): Unit
SourcePrints the given string s
to the standard out followed by a new line.
def readln(): String
SourceReads a single line from the console.
Definitions
def handle(f: a -> b \ ef): a -> b \ (ef - Console) + IO
SourceHandles the Console
effect of the given function f
.
In other words, re-interprets the Console
effect using the IO
effect.
def runWithIO(f: Unit -> a \ ef): a \ (ef - Console) + IO
SourceRuns the Console
effect of the given function f
.
In other words, re-interprets the Console
effect using the IO
effect.