idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.Colours

Description

 
Synopsis

Documentation

data IdrisColour #

Constructors

IdrisColour 

Instances

Instances details
NFData IdrisColour # 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: IdrisColour -> () #

Show IdrisColour # 
Instance details

Defined in Idris.Colours

Eq IdrisColour # 
Instance details

Defined in Idris.Colours

data ColourTheme #

Instances

Instances details
NFData ColourTheme # 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: ColourTheme -> () #

Generic ColourTheme # 
Instance details

Defined in Idris.Colours

Show ColourTheme # 
Instance details

Defined in Idris.Colours

Eq ColourTheme # 
Instance details

Defined in Idris.Colours

type Rep ColourTheme # 
Instance details

Defined in Idris.Colours

defaultTheme :: ColourTheme #

Idris's default console colour theme

colourise :: IdrisColour -> String -> String #

Set the colour of a string using POSIX escape codes

hStartColourise :: Handle -> IdrisColour -> IO () #

Start a colour on a handle, to support colour output on Windows

hEndColourise :: Handle -> IdrisColour -> IO () #

End a colour region on a handle