Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.String

Text.PrettyPrint.Prettyprinter.Render.String

Definitions

renderString : SimpleDocStreamann->String
Totality: total
Visibility: export
renderIO : SimpleDocStreamann->IO ()
Totality: total
Visibility: export
putDoc : Docann->IO ()
  Prettyprints a document to standard output, using default options.

Totality: total
Visibility: export