Idris2Doc : Control.ANSI.SGR

Control.ANSI.SGR

Totality: total
Constructors:
Slow : Blink
Rapid : Blink
Color : Type
Totality: total
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
SGR : Type
Totality: total
Constructors:
Reset : SGR
SetForeground : Color -> SGR
SetBackground : Color -> SGR
SetStyle : Style -> SGR
Style : Type
Totality: total
Constructors:
Bold : Style
Faint : Style
NotBoldOrFaint : Style
Italic : Style
SingleUnderline : Style
DoubleUnderline : Style
NoUnderline : Style
Striked : Style
NotStriked : Style
escapeSGR : ListSGR -> String
Returns the ANSI escape code equivalent to the list of operations provided.
Totality: total