Idris2Doc : Control.ANSI

Control.ANSI

DecoratedString : Type
Totality: total
Constructor: 
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