Idris2Doc : Libraries.Text.PrettyPrint.Prettyprinter

Libraries.Text.PrettyPrint.Prettyprinter

(source)
A Idris port of the prettyprinter library [1] and
the ANSI terminal backend [2].

[1] https://hackage.haskell.org/package/prettyprinter
[2] https://hackage.haskell.org/package/prettyprinter-ansi-terminal

Reexports

import public Libraries.Text.PrettyPrint.Prettyprinter.Doc
import public Libraries.Text.PrettyPrint.Prettyprinter.Symbols