inductive System.Console.ANSI.Color : Type

ANSI color codes.

• black : Color
• red : Color
• green : Color
• yellow : Color
• blue : Color
• magenta : Color
• cyan : Color
• white : Color

@[implicit_reducible]

instance System.Console.ANSI.instBEqColor : BEq Color

Equations

• System.Console.ANSI.instBEqColor = { beq := System.Console.ANSI.instBEqColor.beq }

def System.Console.ANSI.instBEqColor.beq : Color → Color → Bool

Equations

• System.Console.ANSI.instBEqColor.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance System.Console.ANSI.instReprColor : Repr Color

Equations

• System.Console.ANSI.instReprColor = { reprPrec := System.Console.ANSI.instReprColor.repr }

def System.Console.ANSI.instReprColor.repr : Color → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

inductive System.Console.ANSI.Intensity : Type

ANSI text intensity.

• bold : Intensity
• normal : Intensity

@[implicit_reducible]

instance System.Console.ANSI.instBEqIntensity : BEq Intensity

Equations

• System.Console.ANSI.instBEqIntensity = { beq := System.Console.ANSI.instBEqIntensity.beq }

def System.Console.ANSI.instBEqIntensity.beq : Intensity → Intensity → Bool

Equations

• System.Console.ANSI.instBEqIntensity.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance System.Console.ANSI.instReprIntensity : Repr Intensity

Equations

• System.Console.ANSI.instReprIntensity = { reprPrec := System.Console.ANSI.instReprIntensity.repr }

def System.Console.ANSI.instReprIntensity.repr : Intensity → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def System.Console.ANSI.reset : String

Reset all attributes.

Equations

• System.Console.ANSI.reset = "\x1b[0m"

def System.Console.ANSI.setFg (c : Color) : String

Set foreground color.

Equations

• System.Console.ANSI.setFg System.Console.ANSI.Color.black = toString "\x1b[" ++ toString 30 ++ toString "m"
• System.Console.ANSI.setFg System.Console.ANSI.Color.red = toString "\x1b[" ++ toString 31 ++ toString "m"
• System.Console.ANSI.setFg System.Console.ANSI.Color.green = toString "\x1b[" ++ toString 32 ++ toString "m"
• System.Console.ANSI.setFg System.Console.ANSI.Color.yellow = toString "\x1b[" ++ toString 33 ++ toString "m"
• System.Console.ANSI.setFg System.Console.ANSI.Color.blue = toString "\x1b[" ++ toString 34 ++ toString "m"
• System.Console.ANSI.setFg System.Console.ANSI.Color.magenta = toString "\x1b[" ++ toString 35 ++ toString "m"
• System.Console.ANSI.setFg System.Console.ANSI.Color.cyan = toString "\x1b[" ++ toString 36 ++ toString "m"
• System.Console.ANSI.setFg System.Console.ANSI.Color.white = toString "\x1b[" ++ toString 37 ++ toString "m"

def System.Console.ANSI.setBg (c : Color) : String

Set background color.

Equations

• System.Console.ANSI.setBg System.Console.ANSI.Color.black = toString "\x1b[" ++ toString 40 ++ toString "m"
• System.Console.ANSI.setBg System.Console.ANSI.Color.red = toString "\x1b[" ++ toString 41 ++ toString "m"
• System.Console.ANSI.setBg System.Console.ANSI.Color.green = toString "\x1b[" ++ toString 42 ++ toString "m"
• System.Console.ANSI.setBg System.Console.ANSI.Color.yellow = toString "\x1b[" ++ toString 43 ++ toString "m"
• System.Console.ANSI.setBg System.Console.ANSI.Color.blue = toString "\x1b[" ++ toString 44 ++ toString "m"
• System.Console.ANSI.setBg System.Console.ANSI.Color.magenta = toString "\x1b[" ++ toString 45 ++ toString "m"
• System.Console.ANSI.setBg System.Console.ANSI.Color.cyan = toString "\x1b[" ++ toString 46 ++ toString "m"
• System.Console.ANSI.setBg System.Console.ANSI.Color.white = toString "\x1b[" ++ toString 47 ++ toString "m"

def System.Console.ANSI.setIntensity (i : Intensity) : String

Set text intensity (bold/normal).

Equations

• System.Console.ANSI.setIntensity System.Console.ANSI.Intensity.bold = "\x1b[1m"
• System.Console.ANSI.setIntensity System.Console.ANSI.Intensity.normal = "\x1b[22m"

def System.Console.ANSI.colored (c : Color) (s : String) : String

Wrap text with foreground color and reset.

Equations

• System.Console.ANSI.colored c s = System.Console.ANSI.setFg c ++ s ++ System.Console.ANSI.reset

def System.Console.ANSI.bold (s : String) : String

Wrap text as bold.

Equations

• System.Console.ANSI.bold s = System.Console.ANSI.setIntensity System.Console.ANSI.Intensity.bold ++ s ++ System.Console.ANSI.setIntensity System.Console.ANSI.Intensity.normal