Enum TokenRole 

pub enum TokenRole {
    DeclStart,
    TacticKeyword,
    TypeLevel,
    TermLevel,
    Punctuation,
    Name,
    Literal,
    Eof,
    Error,
}

The broad role of a token in OxiLean syntax.

Variants

DeclStart

A declaration-starting keyword.

TacticKeyword

A proof/tactic keyword.

TypeLevel

A type-level keyword.

TermLevel

A term-level keyword.

Punctuation

A punctuation/operator token.

Name

A name or identifier.

Literal

A literal value.

Eof

An end-of-input marker.

Error

An error token.

Trait Implementations

impl Clone for TokenRole

fn clone(&self) -> TokenRole

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TokenRole

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

Formats the value using the given formatter.

impl PartialEq for TokenRole

fn eq(&self, other: &TokenRole) -> 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 TokenRole

impl Eq for TokenRole

impl StructuralPartialEq for TokenRole