idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

Idris.Colours

Description

 

Synopsis

Documentation

data ColourTheme #

Instances

Eq ColourTheme # 
Show ColourTheme # 
Generic ColourTheme # 

Associated Types

type Rep ColourTheme :: * -> * #

type Rep ColourTheme # 

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