Idris2Doc : Text.PrettyPrint.Prettyprinter.Util

Text.PrettyPrint.Prettyprinter.Util

putDocW : Nat -> Docann -> IO ()
  Renders a document with a certain width.

Totality: total
reflow : String -> Docann
  Insert soft linebreaks between words, so that text is broken into multiple
lines when it exceeds the available width.

Totality: total
words : String -> List (Docann)
  Split an input into word-sized `Doc`.

Totality: total