Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.Terminal

Text.PrettyPrint.Prettyprinter.Render.Terminal

Reexports

importpublic Control.ANSI

Definitions

AnsiStyle : Type
Visibility: public export
color : Color->AnsiStyle
Visibility: export
bgColor : Color->AnsiStyle
Visibility: export
bold : AnsiStyle
Visibility: export
italic : AnsiStyle
Visibility: export
underline : AnsiStyle
Visibility: export
strike : AnsiStyle
Visibility: export
renderString : SimpleDocStreamAnsiStyle->String
Visibility: export
renderIO : SimpleDocStreamAnsiStyle->IO ()
Visibility: export
putDoc : DocAnsiStyle->IO ()
Visibility: export