Idris2Doc : Text.PrettyPrint.Prettyprinter.Util

Text.PrettyPrint.Prettyprinter.Util

putDocW : Nat -> Docann -> IOUnit
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