idris

Safe Haskell	None

Idris.Colours

Documentation

data IdrisColour Source

Constructors

IdrisColour
Fields colour :: Maybe Color vivid :: Bool underline :: Bool bold :: Bool italic :: Bool

Instances

Eq IdrisColour
Show IdrisColour

data ColourTheme Source

Constructors

ColourTheme
Fields keywordColour :: IdrisColour boundVarColour :: IdrisColour implicitColour :: IdrisColour functionColour :: IdrisColour typeColour :: IdrisColour dataColour :: IdrisColour promptColour :: IdrisColour

Instances

Eq ColourTheme
Show ColourTheme

defaultTheme :: ColourTheme Source

colouriseKwd :: ColourTheme -> String -> String Source

colouriseBound :: ColourTheme -> String -> String Source

colouriseImplicit :: ColourTheme -> String -> String Source

colouriseType :: ColourTheme -> String -> String Source

colouriseFun :: ColourTheme -> String -> String Source

colouriseData :: ColourTheme -> String -> String Source

colourisePrompt :: ColourTheme -> String -> String Source

data ColourType Source

Constructors

KeywordColour
BoundVarColour
ImplicitColour
FunctionColour
TypeColour
DataColour
PromptColour

Instances

Bounded ColourType
Enum ColourType
Eq ColourType
Show ColourType