Technique.Formatter

Documentation

data TechniqueToken

Constructors

MagicToken

ProcedureToken

TypeToken

SymbolToken

OperatorToken

VariableToken

ApplicationToken

LabelToken

StringToken

QuantityToken

RoleToken

ErrorToken

FilenameToken

StepToken

colourizeTechnique :: TechniqueToken -> AnsiColour

commaCat :: (Render a, Token a ~ TechniqueToken) => [a] -> Doc (Token a)

Punctuate a list with commas annotated with Symbol highlighting.

numberToSuperscript :: Int8 -> Doc ann

toSuperscript :: Char -> Char

Orphan instances

Render Decimal

Associated Types

type Token Decimal

Methods

colourize :: Token Decimal -> AnsiColour

highlight :: Decimal -> Doc (Token Decimal)

Render Quantity

Associated Types

type Token Quantity

Methods

colourize :: Token Quantity -> AnsiColour

highlight :: Quantity -> Doc (Token Quantity)

Render Operator

Associated Types

type Token Operator

Methods

colourize :: Token Operator -> AnsiColour

highlight :: Operator -> Doc (Token Operator)

Render Binding

Associated Types

type Token Binding

Methods

colourize :: Token Binding -> AnsiColour

highlight :: Binding -> Doc (Token Binding)

Render Tablet

Associated Types

type Token Tablet

Methods

colourize :: Token Tablet -> AnsiColour

highlight :: Tablet -> Doc (Token Tablet)

Render Expression

Associated Types

type Token Expression

Methods

colourize :: Token Expression -> AnsiColour

highlight :: Expression -> Doc (Token Expression)

Render Statement

Associated Types

type Token Statement

Methods

colourize :: Token Statement -> AnsiColour

highlight :: Statement -> Doc (Token Statement)

Render Block

Associated Types

type Token Block

Methods

colourize :: Token Block -> AnsiColour

highlight :: Block -> Doc (Token Block)

Render Procedure

Associated Types

type Token Procedure

Methods

colourize :: Token Procedure -> AnsiColour

highlight :: Procedure -> Doc (Token Procedure)

Render Type

Associated Types

type Token Type

Methods

colourize :: Token Type -> AnsiColour

highlight :: Type -> Doc (Token Type)

Render Markdown

Associated Types

type Token Markdown

Methods

colourize :: Token Markdown -> AnsiColour

highlight :: Markdown -> Doc (Token Markdown)

Render Attribute

Associated Types

type Token Attribute

Methods

colourize :: Token Attribute -> AnsiColour

highlight :: Attribute -> Doc (Token Attribute)

Render Label

Associated Types

type Token Label

Methods

colourize :: Token Label -> AnsiColour

highlight :: Label -> Doc (Token Label)

Render Identifier

Associated Types

type Token Identifier

Methods

colourize :: Token Identifier -> AnsiColour

highlight :: Identifier -> Doc (Token Identifier)

Render Technique

Associated Types

type Token Technique

Methods

colourize :: Token Technique -> AnsiColour

highlight :: Technique -> Doc (Token Technique)

Pretty Quantity

Methods

pretty :: Quantity -> Doc ann

prettyList :: [Quantity] -> Doc ann

Pretty Procedure

Methods

pretty :: Procedure -> Doc ann

prettyList :: [Procedure] -> Doc ann

Pretty Label

Methods

pretty :: Label -> Doc ann

prettyList :: [Label] -> Doc ann

Pretty Identifier

Methods

pretty :: Identifier -> Doc ann

prettyList :: [Identifier] -> Doc ann