idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe
LanguageHaskell2010

Idris.Colours

Description

 

Synopsis

Documentation

data ColourTheme Source #

Instances

Eq ColourTheme Source # 
Show ColourTheme Source # 
Generic ColourTheme Source # 

Associated Types

type Rep ColourTheme :: * -> * #

type Rep ColourTheme Source # 

defaultTheme :: ColourTheme Source #

Idris's default console colour theme

colourise :: IdrisColour -> String -> String Source #

Set the colour of a string using POSIX escape codes

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

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

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

End a colour region on a handle