Safe Haskell | None |
---|
- data IdrisColour = IdrisColour {}
- data ColourTheme = ColourTheme {}
- defaultTheme :: ColourTheme
- colouriseKwd :: ColourTheme -> String -> String
- colouriseBound :: ColourTheme -> String -> String
- colouriseImplicit :: ColourTheme -> String -> String
- colouriseType :: ColourTheme -> String -> String
- colouriseFun :: ColourTheme -> String -> String
- colouriseData :: ColourTheme -> String -> String
- colouriseKeyword :: ColourTheme -> String -> String
- colourisePrompt :: ColourTheme -> String -> String
- colourise :: IdrisColour -> String -> String
- data ColourType
Documentation
data IdrisColour Source
defaultTheme :: ColourThemeSource
Idris's default console colour theme
colouriseKwd :: ColourTheme -> String -> StringSource
colouriseBound :: ColourTheme -> String -> StringSource
colouriseImplicit :: ColourTheme -> String -> StringSource
colouriseType :: ColourTheme -> String -> StringSource
colouriseFun :: ColourTheme -> String -> StringSource
colouriseData :: ColourTheme -> String -> StringSource
colouriseKeyword :: ColourTheme -> String -> StringSource
colourisePrompt :: ColourTheme -> String -> StringSource
colourise :: IdrisColour -> String -> StringSource
Set the colour of a string using POSIX escape codes