Control.NCurses.Pretty

Support for contrib's Prettyprinter rendering
in the context of an NCurses session.

Reexports

Definitions

color : (name : String) -> HasColor name s => Doc (Attribute s) -> Doc (Attribute s)

  Set the color of upcoming text.
  See also @defaultColor@.

Visibility: export

defaultColor : Doc (Attribute s) -> Doc (Attribute s)

Visibility: export

underline : Doc (Attribute s) -> Doc (Attribute s)

Visibility: export

standout : Doc (Attribute s) -> Doc (Attribute s)

Visibility: export

reverse : Doc (Attribute s) -> Doc (Attribute s)

Visibility: export

blink : Doc (Attribute s) -> Doc (Attribute s)

Visibility: export

dim : Doc (Attribute s) -> Doc (Attribute s)

Visibility: export

bold : Doc (Attribute s) -> Doc (Attribute s)

Visibility: export

protected : Doc (Attribute s) -> Doc (Attribute s)

Visibility: export

invisible : Doc (Attribute s) -> Doc (Attribute s)

Visibility: export

renderDoc : IsActive s => SimpleDocStream (Attribute s) -> NCurses () s s

Visibility: export

printDoc : IsActive s => {default defaultLayoutOptions _ : LayoutOptions} -> Doc (Attribute s) -> NCurses () s s

Visibility: export