idris-0.9.17: 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