ColorScheme

it.grypho.scala.leonardo.cli.ColorScheme
See theColorScheme companion object
case class ColorScheme(command: AttributedStyle, function: AttributedStyle, constant: AttributedStyle, number: AttributedStyle, operator: AttributedStyle, equation: AttributedStyle, paren: AttributedStyle, variable: AttributedStyle)

Colour mapping for one syntactic role in the Leonardo prompt.

Each field is an AttributedStyle applied to a matching token class during highlighting. Plain sets every field to AttributedStyle.DEFAULT, disabling all colouring.

Value parameters

command

REPL command keywords (simplify, derive, colors, ...)

constant

named constants (pi, e, i) and the truth literals (true, false, unknown)

equation

bare = (equation relation)

function

mathematical function names (sin, cos, exp, ...)

number

numeric literals

operator

arithmetic operators, :=, and the word connectives (and, or, not, implies, xor)

paren

parentheses and square brackets

variable

user identifiers and everything else

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product