Enum dedukti_parse::lex::Token

pub enum Token<'s> {
    Def,
    Thm,
    LBrk,
    RBrk,
    LPar,
    RPar,
    Colon,
    ColonEq,
    Arrow,
    FatArrow,
    LongArrow,
    Comma,
    Dot,
    Ident(&'s str),
    Space,
    Error,
}

Variants

Def

Thm

LBrk

RBrk

LPar

RPar

Colon

ColonEq

Arrow

FatArrow

LongArrow

Comma

Dot

Ident(&'s str)

Space

Error

Trait Implementations

impl<'s> Debug for Token<'s>

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

Formats the value using the given formatter.

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

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].

const ERROR: Self

Helper const of the variant marked as #[error].

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<'s> PartialEq<Token<'s>> for Token<'s>

fn eq(&self, other: &Token<'s>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Token<'s>) -> bool

This method tests for !=.

impl<'s> StructuralPartialEq for Token<'s>