ANSII/terminal colours

[Z-snails]

I don't see why we couldn't simply embed the ansi escape code in the string, and not count it's length in the stats.
This may end up being a little less flexible than wadler-leijen style, as you can't use an actual idris data type for the annotations, but I think it would work.

eg

red : Doc opts -> Doc opts
red doc = ANSII_RED_BEGIN <+> doc <+> ANSII_END

[stefan-hoeck]

I already make use of this in hedgehog. The functionality comes from package prettier-ansi. Flexibility can easily be regained by using a parameters block.

I'll happily move the functionality from prettier-ansi to this package if a dependency on the ansi library (extracted from contrib) is OK for you.

[Z-snails]

I already make use of this in hedgehog. The functionality comes from package prettier-ansi. Flexibility can easily be regained by using a parameters block.

I'll happily move the functionality from prettier-ansi to this package if a dependency on the ansi library (extracted from contrib) is OK for you.

In that case, I'd say leave the prettier-ansi package as is, and mention it in this package's README (feel free to make a PR if you want, otherwise I can at some point)