Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.String

Text.PrettyPrint.Prettyprinter.Render.String

putDoc : Doc ann -> IO ()
  Prettyprints a document to standard output, using default options.

  Totality: total
renderIO : SimpleDocStream ann -> IO ()
  Totality: total
renderString : SimpleDocStream ann -> String
  Totality: total