Idris2Doc : Libraries.Text.PrettyPrint.Prettyprinter.Render.Terminal

Libraries.Text.PrettyPrint.Prettyprinter.Render.Terminal

(source)
Reexports
import public Libraries.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