Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.NCurses

Text.PrettyPrint.Prettyprinter.Render.NCurses

(source)

Definitions

color : ColorPair -> Doc Attribute -> Doc Attribute
Totality: total
Visibility: export
underline : Doc Attribute -> Doc Attribute
Totality: total
Visibility: export
standout : Doc Attribute -> Doc Attribute
Totality: total
Visibility: export
reverse : Doc Attribute -> Doc Attribute
Totality: total
Visibility: export
Totality: total
Visibility: export
dim : Doc Attribute -> Doc Attribute
Totality: total
Visibility: export
bold : Doc Attribute -> Doc Attribute
Totality: total
Visibility: export
protected : Doc Attribute -> Doc Attribute
Totality: total
Visibility: export
invisible : Doc Attribute -> Doc Attribute
Totality: total
Visibility: export
toANSI : Attribute -> AnsiStyle
  Map NCurses attributes to ANSI styles.
This allows a Doc to be written with NCurses styles and
displayed in a terminal without NCurses as a fallback or
alternative.

Totality: total
Visibility: export
renderNCurses : HasIO io => SimpleDocStream Attribute -> io ()
Totality: total
Visibility: export