Base.Color [0.0.1]

Library for ANSI colors in your terminal

Color

Idris package to add color to your app!

Add Base.Color=^0.0.1 to Inigo.toml and run inigo prod fetch-deps.

You can decorate with colors, background colors, etc. For example:

decorate (Text Red) "Hello"

or to add multiple styles:

decorate (Text Red & BG Blue & Bold) "Hello"

Currently supported colors are:

Black : Color
Red : Color
Green : Color
Yellow : Color
Blue : Color
Magenta : Color
Cyan : Color
White : Color

Supported decorators are:

Text : Color -> Decorator
BG : Color -> Decorator
Bold : Decorator
Underline : Decorator
Reversed : Decorator

Feel free to open up PRs to add support for more features.

This code is licensed under the MIT license. All contributors must release all code under this same license.

MIT