Enum TokenKind 

pub enum TokenKind {
    Whitespace,
    LineComment,
    BlockComment,
    Identifier,
    QuotedIdentifier,
    InfixIdentifier,
    TypeInstVariable,
    IntegerLiteral,
    FloatLiteral,
    StringLiteral,
    StringHead,
    StringMiddle,
    StringTail,
    Error,
    Ann,
    Annotation,
    Any,
    Array,
    Bool,
    Case,
    Constraint,
    Default,
    Diff,
    Div,
    Else,
    ElseIf,
    EndIf,
    Enum,
    False,
    Float,
    Function,
    If,
    In,
    Include,
    Infinity,
    Int,
    Intersect,
    Let,
    List,
    Maximize,
    Minimize,
    Mod,
    Not,
    Of,
    Opt,
    Output,
    Par,
    Predicate,
    Record,
    Satisfy,
    Set,
    Solve,
    String,
    Subset,
    Superset,
    SymDiff,
    Test,
    Then,
    True,
    Tuple,
    Type,
    Union,
    Var,
    VariantRecord,
    Where,
    Xor,
    LeftParen,
    RightParen,
    LeftBracket,
    RightBracket,
    LeftBrace,
    RightBrace,
    MatrixStart,
    MatrixEnd,
    Comma,
    Colon,
    Semicolon,
    Dot,
    Pipe,
    Anonymous,
    Absent,
    AnnotationMarker,
    Equivalence,
    Implies,
    ReverseImplies,
    Or,
    And,
    Less,
    Greater,
    LessEqual,
    GreaterEqual,
    Equal,
    DoubleEqual,
    NotEqual,
    WeakEqual,
    WeakNotEqual,
    RangeInclusive,
    RangeExclusiveStart,
    RangeExclusiveEnd,
    RangeExclusive,
    Plus,
    Minus,
    Star,
    Slash,
    Power,
    Concat,
    WeakPlus,
    WeakMinus,
    WeakStar,
    WeakSlash,
    WeakDiv,
    Inverse,
}

Lexical distinctions for a parser. Unicode operators share their ASCII equivalent’s kind; spelling is always retained in the source.

Variants

Whitespace

LineComment

BlockComment

Identifier

QuotedIdentifier

InfixIdentifier

TypeInstVariable

IntegerLiteral

FloatLiteral

StringLiteral

StringHead

Opening quote, literal contents and the first written \( delimiter.

StringMiddle

Written ), literal contents and the next written \( delimiter.

StringTail

Written ), remaining literal contents and closing quote.

Error

Ann

Annotation

Any

Array

Bool

Case

Constraint

Default

Diff

Div

Else

ElseIf

EndIf

Enum

False

Float

Function

If

In

Include

Infinity

Int

Intersect

Let

List

Maximize

Minimize

Mod

Not

Of

Opt

Output

Par

Predicate

Record

Satisfy

Set

Solve

String

Subset

Superset

SymDiff

Test

Then

True

Tuple

Type

Union

Var

VariantRecord

Where

Xor

LeftParen

RightParen

LeftBracket

RightBracket

LeftBrace

RightBrace

MatrixStart

MatrixEnd

Comma

Colon

Semicolon

Dot

Pipe

Anonymous

Absent

AnnotationMarker

Equivalence

Implies

ReverseImplies

Or

And

Less

Greater

LessEqual

GreaterEqual

Equal

DoubleEqual

NotEqual

WeakEqual

WeakNotEqual

RangeInclusive

RangeExclusiveStart

RangeExclusiveEnd

RangeExclusive

Plus

Minus

Star

Slash

Power

Concat

WeakPlus

WeakMinus

WeakStar

WeakSlash

WeakDiv

Inverse

The Unicode inverse spelling ⁻¹, equivalent to the sequence ^-1.

Trait Implementations

impl Clone for TokenKind

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for TokenKind

impl Debug for TokenKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for TokenKind

impl PartialEq for TokenKind

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for TokenKind