Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.String

Text.PrettyPrint.Prettyprinter.Render.String

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

Totality: total
renderIO : SimpleDocStreamann -> IO ()
Totality: total
renderString : SimpleDocStreamann -> String
Totality: total