Idris2Doc : Control.ANSI

Control.ANSI

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

Projections:
.sgr : DecoratedString -> ListSGR
.str : DecoratedString -> String
background : Color -> String -> DecoratedString
Totality: total
bolden : String -> DecoratedString
Totality: total
colored : Color -> String -> DecoratedString
Totality: total
italicize : String -> DecoratedString
Totality: total
underline : String -> DecoratedString
Totality: total