Console
Definitions
def
bgBlack
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default black color.
def
bgBlackBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default black color.
def
bgBlue
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default blue color.
def
bgBlueBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default blue color.
def
bgCyan
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default cyan color.
def
bgCyanBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default cyan color.
def
bgGreen
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default green color.
def
bgGreenBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default green color.
def
bgMagenta
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default magenta color.
def
bgMagentaBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default magenta color.
def
bgRed
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default red color.
def
bgRedBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default red color.
def
bgWhite
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default white color.
def
bgWhiteBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default white color.
def
bgYellow
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default yellow color.
def
bgYellowBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s with background color of the default yellow color.
def
black
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default black color.
def
blackBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default bright black color.
def
blue
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default blue color.
def
blueBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default bright blue color.
def
bold
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns s formatted as bold.
def
cyan
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default cyan color.
def
cyanBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default bright cyan color.
def
flush
: Unit
\ IO
Flushes 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
green
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default green color.
def
greenBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default bright green color.
def
hasConsole
: Bool
\ IO
Returns true if there is a Console object associated with the current JVM.
def
hex
[a]
(
hexCode :
String
s :
a
)
: String
\ Pure
with
ToString[a]
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.
def
magenta
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default magenta color.
def
magentaBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default bright magenta color.
def
print
[a]
(
x :
a
)
: Unit
\ IO
with
ToString[a]
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.
def
println
[a]
(
x :
a
)
: Unit
\ IO
with
ToString[a]
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
: Result[String, String]
\ IO
Reads 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
red
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default red color.
def
redBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default bright red color.
def
rgb
(
c :
(Int32, Int32, Int32)
s :
String
opts :
{ isFg = Bool }
)
: String
\ Pure
Returns the string s formatted with the given RGB color c.
def
white
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default white color.
def
whiteBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default bright white color.
def
yellow
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default yellow color.
def
yellowBright
[a]
(
s :
a
)
: String
\ Pure
with
ToString[a]
Returns the string s formatted with the default bright yellow color.