Idris2Doc : Text.PrettyPrint.Prettyprinter

Text.PrettyPrint.Prettyprinter

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 Text.PrettyPrint.Prettyprinter.Doc
import public Text.PrettyPrint.Prettyprinter.Symbols