Core.Text.Colour

Support for colour in the terminal.

Documentation

data AnsiColour

An accumulation of ANSI escape codes used to add colour when pretty printing to console.

Instances

Monoid AnsiColour

Defined in Core.Text.Colour

Methods

mempty :: AnsiColour

mappend :: AnsiColour -> AnsiColour -> AnsiColour

mconcat :: [AnsiColour] -> AnsiColour

Semigroup AnsiColour

Defined in Core.Text.Colour

Methods

(<>) :: AnsiColour -> AnsiColour -> AnsiColour

sconcat :: NonEmpty AnsiColour -> AnsiColour

stimes :: Integral b => b -> AnsiColour -> AnsiColour

intoEscapes :: AnsiColour -> Rope

Convert an AnsiColour into the ANSI escape sequences which will make that colour appear in the user's terminal.

boldColour :: AnsiColour -> AnsiColour

Given an AnsiColour, lift it to bold intensity.

Note that many console fonts do not have a bold face variant, and terminal emulators that "support bold" do so by doubling the thickness of the lines in the glyphs. This may or may not be desirable from a readibility standpoint but really there's only so much you can do to keep users who make poor font choices from making poor font choices.

dullRed :: AnsiColour

Medium "Scarlet Red" (#cc0000 from the Tango color palette).

brightRed :: AnsiColour

Highlighted "Scarlet Red" (#ef2929 from the Tango color palette).

pureRed :: AnsiColour

Pure "Red" (full RGB red channel only).

dullGreen :: AnsiColour

Shadowed "Chameleon" (#4e9a06 from the Tango color palette).

brightGreen :: AnsiColour

Highlighted "Chameleon" (#8ae234 from the Tango color palette).

pureGreen :: AnsiColour

Pure "Green" (full RGB green channel only).

dullBlue :: AnsiColour

Medium "Sky Blue" (#3465a4 from the Tango color palette).

brightBlue :: AnsiColour

Highlighted "Sky Blue" (#729fcf from the Tango color palette).

pureBlue :: AnsiColour

Pure "Blue" (full RGB blue channel only).

dullCyan :: AnsiColour

Dull "Cyan" (from the gnome-terminal console theme).

brightCyan :: AnsiColour

Bright "Cyan" (from the gnome-terminal console theme).

pureCyan :: AnsiColour

Pure "Cyan" (full RGB blue + green channels).

dullMagenta :: AnsiColour

Medium "Plum" (#75507b from the Tango color palette).

brightMagenta :: AnsiColour

Highlighted "Plum" (#ad7fa8 from the Tango color palette).

pureMagenta :: AnsiColour

Pure "Magenta" (full RGB red + blue channels).

dullYellow :: AnsiColour

Shadowed "Butter" (#c4a000 from the Tango color palette).

brightYellow :: AnsiColour

Highlighted "Butter" (#fce94f from the Tango color palette).

pureYellow :: AnsiColour

Pure "Yellow" (full RGB red + green channels).

pureBlack :: AnsiColour

Pure "Black" (zero in all RGB channels).

dullGrey :: AnsiColour

Shadowed "Deep Aluminium" (#2e3436 from the Tango color palette).

brightGrey :: AnsiColour

Medium "Dark Aluminium" (from the Tango color palette).

pureGrey :: AnsiColour

Pure "Grey" (set at #999999, being just over half in all RGB channels).

pureWhite :: AnsiColour

Pure "White" (fully on in all RGB channels).

dullWhite :: AnsiColour

Medium "Light Aluminium" (#d3d7cf from the Tango color palette).

brightWhite :: AnsiColour

Highlighted "Light Aluminium" (#eeeeec from the Tango color palette).

resetColour :: AnsiColour

This is not a colour, obviously, but it represents reseting to the default terminal foreground colour, whatever the user has that set to.