Control.ANSI.SGR

Definitions

data Color : Type

Totality: total
Visibility: public export
Constructors:

Black : Color

Red : Color

Green : Color

Yellow : Color

Blue : Color

Magenta : Color

Cyan : Color

White : Color

BrightBlack : Color

BrightRed : Color

BrightGreen : Color

BrightYellow : Color

BrightBlue : Color

BrightMagenta : Color

BrightCyan : Color

BrightWhite : Color

Hint: 

Cast Color String

data Style : Type

Totality: total
Visibility: public export
Constructors:

Bold : Style

Faint : Style

NotBoldOrFaint : Style

Italic : Style

SingleUnderline : Style

DoubleUnderline : Style

NoUnderline : Style

Striked : Style

NotStriked : Style

Hint: 

Cast Style String

data Blink : Type

Totality: total
Visibility: public export
Constructors:

Slow : Blink

Rapid : Blink

NoBlink : Blink

Hint: 

Cast Blink String

data SGR : Type

Totality: total
Visibility: public export
Constructors:

Reset : SGR

SetForeground : Color -> SGR

SetBackground : Color -> SGR

SetStyle : Style -> SGR

SetBlink : Blink -> SGR

escapeSGR : List SGR -> String

  Returns the ANSI escape code equivalent to the list of operations provided.

Totality: total
Visibility: export