Idris.Colours

Documentation

data IdrisColour

Constructors

IdrisColour

Fields

colour :: Maybe Color

vivid :: Bool

underline :: Bool

bold :: Bool

italic :: Bool

Instances

Eq IdrisColour

Show IdrisColour

data ColourTheme

Constructors

ColourTheme

Fields

keywordColour :: IdrisColour

boundVarColour :: IdrisColour

implicitColour :: IdrisColour

functionColour :: IdrisColour

typeColour :: IdrisColour

dataColour :: IdrisColour

promptColour :: IdrisColour

Instances

Eq ColourTheme

Show 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

colourisePrompt :: ColourTheme -> String -> String

data ColourType

Constructors

KeywordColour

BoundVarColour

ImplicitColour

FunctionColour

TypeColour

DataColour

PromptColour

Instances

Bounded ColourType

Enum ColourType

Eq ColourType

Show ColourType