Enum TokenKind 

pub enum TokenKind {
    Ident,
    Number,
    Duration,
    String,
    BacktickLiteral,
    True,
    False,
    Null,
    Rule,
    Entity,
    External,
    Value,
    Enum,
    Given,
    Config,
    Surface,
    Actor,
    Default,
    Variant,
    Deferred,
    Open,
    Question,
    Use,
    As,
    When,
    Requires,
    Ensures,
    Let,
    For,
    In,
    If,
    Else,
    Where,
    With,
    Not,
    And,
    Or,
    Exists,
    TransitionsTo,
    Becomes,
    Implies,
    Contract,
    Invariant,
    Transitions,
    Produces,
    Consumes,
    Terminal,
    At,
    Now,
    This,
    Within,
    Eq,
    BangEq,
    Lt,
    LtEq,
    Gt,
    GtEq,
    Plus,
    Minus,
    Star,
    Slash,
    Pipe,
    FatArrow,
    ThinArrow,
    QuestionQuestion,
    QuestionDot,
    Dot,
    LBrace,
    RBrace,
    LParen,
    RParen,
    LBracket,
    RBracket,
    Colon,
    Comma,
    QuestionMark,
    Eof,
    Error,
}

Variants

Ident

Number

Duration

String

BacktickLiteral

True

False

Null

Rule

Entity

External

Value

Enum

Given

Config

Surface

Actor

Default

Variant

Deferred

Open

Question

Use

As

When

Requires

Ensures

Let

For

In

If

Else

Where

With

Not

And

Or

Exists

TransitionsTo

Becomes

Implies

Contract

Invariant

Transitions

Produces

Consumes

Terminal

At

Now

This

Within

Eq

BangEq

Lt

LtEq

Gt

GtEq

Plus

Minus

Star

Slash

Pipe

FatArrow

ThinArrow

QuestionQuestion

QuestionDot

Dot

LBrace

RBrace

LParen

RParen

LBracket

RBracket

Colon

Comma

QuestionMark

Eof

Error

Implementations

impl TokenKind

pub fn is_word(self) -> bool

True for any keyword or identifier — tokens that look like words.

Trait Implementations

impl Clone for TokenKind

fn clone(&self) -> TokenKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TokenKind

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

Formats the value using the given formatter.

impl Display for TokenKind

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

Formats the value using the given formatter.

impl PartialEq for TokenKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for TokenKind

impl Eq for TokenKind

impl StructuralPartialEq for TokenKind