Idris2Doc : Text.PrettyPrint.Bernardy.ANSI

Text.PrettyPrint.Bernardy.ANSI

(source)
Reexports
import public Text.PrettyPrint.Bernardy
import public Text.ANSI
Definitions
decorate : List SGR -> Doc opts -> Doc opts
  Decorate a `Doc` with the given ANSI codes *without*
  changing its stats like width or height.

  Totality: total
  Visibility: export