Idris2Doc : Idris.Pretty.Render

Idris.Pretty.Render

(source)
Reexports
import public Libraries.Text.PrettyPrint.Prettyprinter.Render.Terminal
Definitions
render' : PageWidth -> Maybe (ann -> AnsiStyle) -> Doc ann -> String
  Totality: total
  Visibility: export
render : Ref ROpts REPLOpts => (ann -> AnsiStyle) -> Doc ann -> Core String
  Totality: total
  Visibility: export
renderWithoutColor : Ref ROpts REPLOpts => Doc ann -> Core String
  Totality: total
  Visibility: export
renderWithSpans : Ref ROpts REPLOpts => Doc ann -> Core (String, List (Span ann))
  Totality: total
  Visibility: export