Libraries.Text.PrettyPrint.Prettyprinter.Util

Definitions

words : String -> List (Doc ann)

  Split an input into word-sized `Doc`.

Totality: total
Visibility: export

annotateM : Maybe ann -> Doc ann -> Doc ann

  Optionally annotate a document

Totality: total
Visibility: export

reflow : String -> Doc ann

  Insert soft linebreaks between words, so that text is broken into multiple
  lines when it exceeds the available width.

Totality: total
Visibility: export

putDocW : Nat -> Doc ann -> IO ()

  Renders a document with a certain width.

Totality: total
Visibility: export