Copyright | License : BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell98 |
Idris.Colours
Description
- 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
data ColourTheme #
Constructors
ColourTheme | |
Instances
Eq ColourTheme # | |
Show ColourTheme # | |
Generic ColourTheme # | |
type Rep ColourTheme # | |
Idris's default console colour theme
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 #
Set the colour of a string using POSIX escape codes
data ColourType #
Constructors
KeywordColour | |
BoundVarColour | |
ImplicitColour | |
FunctionColour | |
TypeColour | |
DataColour | |
PromptColour | |
PostulateColour |
Instances
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