core-text-0.3.7.1: A rope type based on a finger tree over UTF-8 fragments
Safe HaskellNone
LanguageHaskell2010

Core.Text.Colour

Description

Support for colour in the terminal.

Synopsis

Documentation

data AnsiColour Source #

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

Instances

Instances details
Semigroup AnsiColour Source # 
Instance details

Defined in Core.Text.Colour

Monoid AnsiColour Source # 
Instance details

Defined in Core.Text.Colour

intoEscapes :: AnsiColour -> Rope Source #

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

boldColour :: AnsiColour -> AnsiColour Source #

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 Source #

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

brightRed :: AnsiColour Source #

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

pureRed :: AnsiColour Source #

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

dullGreen :: AnsiColour Source #

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

brightGreen :: AnsiColour Source #

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

pureGreen :: AnsiColour Source #

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

dullBlue :: AnsiColour Source #

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

brightBlue :: AnsiColour Source #

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

pureBlue :: AnsiColour Source #

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

dullCyan :: AnsiColour Source #

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

brightCyan :: AnsiColour Source #

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

pureCyan :: AnsiColour Source #

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

dullMagenta :: AnsiColour Source #

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

brightMagenta :: AnsiColour Source #

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

pureMagenta :: AnsiColour Source #

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

dullYellow :: AnsiColour Source #

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

brightYellow :: AnsiColour Source #

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

pureYellow :: AnsiColour Source #

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

pureBlack :: AnsiColour Source #

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

dullGrey :: AnsiColour Source #

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

brightGrey :: AnsiColour Source #

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

pureGrey :: AnsiColour Source #

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

pureWhite :: AnsiColour Source #

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

dullWhite :: AnsiColour Source #

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

brightWhite :: AnsiColour Source #

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

resetColour :: AnsiColour Source #

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