Idris2Doc : Control.ANSI

Control.ANSI(source)

Reexports
import public Control.ANSI.CSI
import public Control.ANSI.SGR
Definitions
record DecoratedString : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkDString : List SGR -> String -> DecoratedString

  Projections:
  
.sgr : DecoratedString -> List SGR
  
.str : DecoratedString -> String

  Hint: 
Show DecoratedString
.sgr : DecoratedString -> List SGR
  Totality: total
  Visibility: public export
sgr : DecoratedString -> List SGR
  Totality: total
  Visibility: public export
.str : DecoratedString -> String
  Totality: total
  Visibility: public export
str : DecoratedString -> String
  Totality: total
  Visibility: public export
colored : Color -> String -> DecoratedString
  Totality: total
  Visibility: export
background : Color -> String -> DecoratedString
  Totality: total
  Visibility: export
bolden : String -> DecoratedString
  Totality: total
  Visibility: export
italicize : String -> DecoratedString
  Totality: total
  Visibility: export
underline : String -> DecoratedString
  Totality: total
  Visibility: export