Idris2Doc : Text.PrettyPrint.Bernardy.Core.ANSI

Text.PrettyPrint.Bernardy.Core.ANSI

(source)

Definitions

decorateLayout : ListSGR->Layout->Layout
  Decorate a `Layout` with the given ANSI codes *without*
changing its stats like width or height.

Totality: total
Visibility: export