idris-0.10: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Colours

Synopsis

Documentation

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