Idris.Colours

Synopsis

• data IdrisColour = IdrisColour {
  • colour :: Maybe Color
  • vivid :: Bool
  • underline :: Bool
  • bold :: Bool
  • italic :: Bool
  }
• data ColourTheme = ColourTheme {
  • keywordColour :: IdrisColour
  • boundVarColour :: IdrisColour
  • implicitColour :: IdrisColour
  • functionColour :: IdrisColour
  • typeColour :: IdrisColour
  • dataColour :: IdrisColour
  • promptColour :: IdrisColour
  • postulateColour :: IdrisColour
  }
• 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
  • = KeywordColour
  • | BoundVarColour
  • | ImplicitColour
  • | FunctionColour
  • | TypeColour
  • | DataColour
  • | PromptColour
  • | PostulateColour

Documentation