Idris2Doc : Control.ANSI.SGR

Control.ANSI.SGR

data Blink : Type

Totality: total
Constructors:

Slow : Blink
Rapid : Blink
NoBlink : Blink

data 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

data SGR : Type

Totality: total
Constructors:

Reset : SGR
SetForeground : Color -> SGR
SetBackground : Color -> SGR
SetStyle : Style -> SGR
SetBlink : Blink -> SGR

data Style : Type

Totality: total
Constructors:

Bold : Style
Faint : Style
NotBoldOrFaint : Style
Italic : Style
SingleUnderline : Style
DoubleUnderline : Style
NoUnderline : Style
Striked : Style
NotStriked : Style

escapeSGR : List SGR -> String

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

Totality: total