Enum Token 

pub enum Token {
    Type,
    Enum,
    Intent,
    Safety,
    Theorem,
    Axiom,
    Function,
    Import,
    Require,
    Ensure,
    Invariant,
    Forall,
    Exists,
    If,
    Then,
    Else,
    True,
    False,
    After,
    As,
    Goal,
    Rationale,
    Stakeholder,
    Measure,
    RealizedBy,
    Coverage,
    Dimensions,
    LBrace,
    RBrace,
    LParen,
    RParen,
    LBracket,
    RBracket,
    Lt,
    Gt,
    Comma,
    Dot,
    Colon,
    Arrow,
    At,
    Prime,
    Implies,
    EqEq,
    BangEq,
    LtEq,
    GtEq,
    AmpAmp,
    PipePipe,
    Plus,
    Minus,
    Star,
    Slash,
    Percent,
    Bang,
    IntLit(i64),
    StringLit(String),
    Ident(String),
}

Variants

Type

Enum

Intent

Safety

Theorem

Axiom

Function

Import

Require

Ensure

Invariant

Forall

Exists

If

Then

Else

True

False

After

As

Goal

Rationale

Stakeholder

Measure

RealizedBy

Coverage

Dimensions

LBrace

RBrace

LParen

RParen

LBracket

RBracket

Lt

Gt

Comma

Dot

Colon

Arrow

At

Prime

Implies

EqEq

BangEq

LtEq

GtEq

AmpAmp

PipePipe

Plus

Minus

Star

Slash

Percent

Bang

IntLit(i64)

StringLit(String)

Ident(String)

Trait Implementations

impl Clone for Token

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Token

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

Formats the value using the given formatter.

impl Display for Token

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

Formats the value using the given formatter.

impl<'s> Logos<'s> for Token

type Error = ()

Error type returned by the lexer. This can be set using #[logos(error = MyError)]. Defaults to () if not set.

type Extras = ()

Associated type Extras for the particular lexer. This can be set using #[logos(extras = MyExtras)] and accessed inside callbacks.

type Source = str

Source type this token can be lexed from. This will default to str, unless one of the defined patterns explicitly uses non-unicode byte values or byte slices, in which case that implementation will use [u8].

fn lex(lex: &mut Lexer<'s, Self>)

The heart of Logos. Called by the Lexer. The implementation for this function is generated by the logos-derive crate.

fn lexer(source: &'source Self::Source) -> Lexer<'source, Self>

where Self::Extras: Default,

Create a new instance of a Lexer that will produce tokens implementing this Logos.

fn lexer_with_extras( source: &'source Self::Source, extras: Self::Extras, ) -> Lexer<'source, Self>

Create a new instance of a Lexer with the provided Extras that will produce tokens implementing this Logos.

impl PartialEq for Token

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Token