Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.Terminal

Text.PrettyPrint.Prettyprinter.Render.Terminal

Reexports
import public 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 : SimpleDocStream AnsiStyle -> String
  Visibility: export
renderIO : SimpleDocStream AnsiStyle -> IO ()
  Visibility: export
putDoc : Doc AnsiStyle -> IO ()
  Visibility: export