Idris2Doc : Control.ANSI

Control.ANSI

record DecoratedString : Type
  Totality: total
  Constructor: 
MkDString : List SGR -> String -> DecoratedString

  Projections:
  
.sgr : DecoratedString -> List SGR
  
.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