| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Colours
- data IdrisColour = IdrisColour {}
- data ColourTheme = ColourTheme {}
- defaultTheme :: ColourTheme
- colouriseKwd :: ColourTheme -> String -> String
- colouriseBound :: ColourTheme -> String -> String
- colouriseImplicit :: ColourTheme -> String -> String
- colourisePostulate :: 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
- hStartColourise :: Handle -> IdrisColour -> IO ()
- hEndColourise :: Handle -> IdrisColour -> IO ()
Documentation
defaultTheme :: ColourTheme Source
Idris's default console colour theme
colouriseKwd :: ColourTheme -> String -> String Source
colouriseBound :: ColourTheme -> String -> String Source
colouriseImplicit :: ColourTheme -> String -> String Source
colourisePostulate :: ColourTheme -> String -> String Source
colouriseType :: ColourTheme -> String -> String Source
colouriseFun :: ColourTheme -> String -> String Source
colouriseData :: ColourTheme -> String -> String Source
colouriseKeyword :: ColourTheme -> String -> String Source
colourisePrompt :: ColourTheme -> String -> String Source
colourise :: IdrisColour -> String -> String Source
Set the colour of a string using POSIX escape codes
data ColourType Source
Constructors
| KeywordColour | |
| BoundVarColour | |
| ImplicitColour | |
| FunctionColour | |
| TypeColour | |
| DataColour | |
| PromptColour | |
| PostulateColour |
Instances
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