Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.String

Text.PrettyPrint.Prettyprinter.Render.String

putDoc : Docann -> IOUnit
Prettyprints a document to standard output, using default options.
Totality: total
renderIO : SimpleDocStreamann -> IOUnit
Totality: total
renderString : SimpleDocStreamann -> String
Totality: total