Console
Definitions
Returns the string s
with background color of the default black color.
Returns the string s
with background color of the default black color.
Returns the string s
with background color of the default blue color.
Returns the string s
with background color of the default blue color.
Returns the string s
with background color of the default cyan color.
Returns the string s
with background color of the default cyan color.
Returns the string s
with background color of the default green color.
Returns the string s
with background color of the default green color.
Returns the string s
with background color of the default magenta color.
Returns the string s
with background color of the default magenta color.
Returns the string s
with background color of the default red color.
Returns the string s
with background color of the default red color.
Returns the string s
with background color of the default white color.
Returns the string s
with background color of the default white color.
Returns the string s
with background color of the default yellow color.
Returns the string s
with background color of the default yellow color.
Returns the string s
formatted with the default black color.
Returns the string s
formatted with the default bright black color.
Returns the string s
formatted with the default blue color.
Returns the string s
formatted with the default bright blue color.
Returns the string s
formatted with the default cyan color.
Returns the string s
formatted with the default bright cyan color.
def flush(_unit: Unit): Unit \ IO
SourceFlushes the console output.
Note: This function does not flush standard out.
Warning: If no console is attached nothing happens.
See also System/StdOut.flush
.
Returns the string s
formatted with the default green color.
Returns the string s
formatted with the default bright green color.
def hasConsole(_unit: Unit): Bool \ IO
SourceReturns true if there is a Console
object associated with the current JVM.
Returns s
formatted with color hexCode
or if there's an error, returns the original string.
Expected format of hexCode
: "#" + "--" + "--" + "--"
where each -- is a hex number between 00 and FF.
Returns the string s
formatted with the default magenta color.
Returns the string s
formatted with the default bright magenta color.
Converts x
to a string and prints it to the console.
Note: This function does not print to standard out.
Warning: If no console is attached nothing is printed.
Use print
instead.
See also System/StdOut.print
.
Converts x
to a string and prints it to the console followed by a new line.
Note: This function does not print to standard out.
Warning: If no console is attached nothing is printed.
Use print
instead.
See also System/StdOut.println
.
def readLine(_unit: Unit): Result[String, String] \ IO
SourceReads a single line from the console.
Returns Err
if no console is present, there is an IO error, or EOF is found.
See also System/StdIn.readLines
.
Returns the string s
formatted with the default red color.
Returns the string s
formatted with the default bright red color.
def reset(_unit: Unit): String
SourceReturns the reset control sequence as a string.
def rgb(c: (Int32, Int32, Int32), s: String, opts: { isFg = Bool }): String
SourceReturns the string s
formatted with the given RGB color c
.
Returns the string s
formatted with the default white color.
Returns the string s
formatted with the default bright white color.
Returns the string s
formatted with the default yellow color.