Idris2Doc : Text.ANSI.SGR

Text.ANSI.SGR

(source)
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
  
Color256 : Bits8 -> Color
  
RGB : Bits8 -> Bits8 -> Bits8 -> Color

  Hint: 
Cast Color String
data Style : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Bold : Style
  
Faint : Style
  
NotBoldOrFaint : Style
  
Italic : Style
  
NotItalic : Style
  
SingleUnderline : Style
  
DoubleUnderline : Style
  
NoUnderline : Style
  
Striked : Style
  
NotStriked : Style

  Hint: 
Cast Style String
Dimmed : Style
  Totality: total
  Visibility: public export
NormalIntensity : Style
  Totality: total
  Visibility: public export
  Totality: total
  Visibility: public export
  Constructors:
  
Slow : Blink
  
Rapid : 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
    
SetReversed : Bool -> SGR
escapeSGR : List SGR -> String
  Returns the ANSI escape code equivalent to the list of operations provided.

  Totality: total
  Visibility: export