Idris2Doc : Control.ANSI

Control.ANSI

Reexports

importpublic Control.ANSI.CSI
importpublic Control.ANSI.SGR

Definitions

recordDecoratedString : Type
Totality: total
Visibility: public export
Constructor: 
MkDString : ListSGR->String->DecoratedString

Projections:
.sgr : DecoratedString->ListSGR
.str : DecoratedString->String

Hint: 
ShowDecoratedString
.sgr : DecoratedString->ListSGR
Totality: total
Visibility: public export
sgr : DecoratedString->ListSGR
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