Console
Definitions
def bgBlack(s: a): String
SourceReturns the string s
with background color of the default black color.
def bgBlackBright(s: a): String
SourceReturns the string s
with background color of the default black color.
def bgBlueBright(s: a): String
SourceReturns the string s
with background color of the default blue color.
def bgCyanBright(s: a): String
SourceReturns the string s
with background color of the default cyan color.
def bgGreen(s: a): String
SourceReturns the string s
with background color of the default green color.
def bgGreenBright(s: a): String
SourceReturns the string s
with background color of the default green color.
def bgMagenta(s: a): String
SourceReturns the string s
with background color of the default magenta color.
def bgMagentaBright(s: a): String
SourceReturns the string s
with background color of the default magenta color.
def bgRedBright(s: a): String
SourceReturns the string s
with background color of the default red color.
def bgWhite(s: a): String
SourceReturns the string s
with background color of the default white color.
def bgWhiteBright(s: a): String
SourceReturns the string s
with background color of the default white color.
def bgYellow(s: a): String
SourceReturns the string s
with background color of the default yellow color.
def bgYellowBright(s: a): String
SourceReturns the string s
with background color of the default yellow color.
def blackBright(s: a): String
SourceReturns the string s
formatted with the default bright black color.
def blueBright(s: a): String
SourceReturns the string s
formatted with the default bright blue color.
def cyanBright(s: a): String
SourceReturns 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
.
def greenBright(s: a): String
SourceReturns 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.
def hex(hexCode: String, s: a): String
SourceReturns 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.
def magentaBright(s: a): String
SourceReturns the string s
formatted with the default bright magenta color.
def print(x: a): Unit \ IO
SourceConverts 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
.
def println(x: a): Unit \ IO
SourceConverts 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
.
def rgb(c: (Int32, Int32, Int32), s: String, opts: { isFg = Bool }): String
SourceReturns the string s
formatted with the given RGB color c
.
def whiteBright(s: a): String
SourceReturns the string s
formatted with the default bright white color.
def yellowBright(s: a): String
SourceReturns the string s
formatted with the default bright yellow color.