Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.NCurses

Text.PrettyPrint.Prettyprinter.Render.NCurses

(source)

Definitions

color : ColorPair->DocAttribute->DocAttribute
Totality: total
Visibility: export
underline : DocAttribute->DocAttribute
Totality: total
Visibility: export
standout : DocAttribute->DocAttribute
Totality: total
Visibility: export
reverse : DocAttribute->DocAttribute
Totality: total
Visibility: export
Totality: total
Visibility: export
dim : DocAttribute->DocAttribute
Totality: total
Visibility: export
bold : DocAttribute->DocAttribute
Totality: total
Visibility: export
protected : DocAttribute->DocAttribute
Totality: total
Visibility: export
invisible : DocAttribute->DocAttribute
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 : HasIOio=>SimpleDocStreamAttribute->io ()
Totality: total
Visibility: export