| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Idris.Colours
Description
Synopsis
- 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 IdrisColour #
Constructors
| IdrisColour | |
Instances
| NFData IdrisColour # | |
Defined in Idris.DeepSeq Methods rnf :: IdrisColour -> () # | |
| Show IdrisColour # | |
Defined in Idris.Colours Methods showsPrec :: Int -> IdrisColour -> ShowS # show :: IdrisColour -> String # showList :: [IdrisColour] -> ShowS # | |
| Eq IdrisColour # | |
Defined in Idris.Colours | |
data ColourTheme #
Constructors
| ColourTheme | |
Instances
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
| Bounded ColourType # | |
Defined in Idris.Colours | |
| Enum ColourType # | |
Defined in Idris.Colours Methods succ :: ColourType -> ColourType # pred :: ColourType -> ColourType # toEnum :: Int -> ColourType # fromEnum :: ColourType -> Int # enumFrom :: ColourType -> [ColourType] # enumFromThen :: ColourType -> ColourType -> [ColourType] # enumFromTo :: ColourType -> ColourType -> [ColourType] # enumFromThenTo :: ColourType -> ColourType -> ColourType -> [ColourType] # | |
| Show ColourType # | |
Defined in Idris.Colours Methods showsPrec :: Int -> ColourType -> ShowS # show :: ColourType -> String # showList :: [ColourType] -> ShowS # | |
| Eq ColourType # | |
Defined in Idris.Colours | |
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