Enum TokenKind 

pub enum TokenKind {
    Atom(String),
    Variable(String),
    Integer(i64),
    Float(f64),
    Neck,
    QueryOp,
    Equals,
    NotEquals,
    TermEq,
    TermNeq,
    Is,
    Lt,
    Gt,
    Lte,
    Gte,
    ArithEq,
    ArithNeq,
    Plus,
    Minus,
    Star,
    Slash,
    IntDiv,
    Mod,
    Rem,
    Not,
    Backslash,
    Cut,
    Arrow,
    Semicolon,
    Pow,
    Caret,
    Colon,
    ShiftLeft,
    ShiftRight,
    Div,
    BitAnd,
    BitOr,
    Xor,
    Dot,
    Comma,
    LParen,
    RParen,
    LBracket,
    RBracket,
    Pipe,
    Eof,
}

Token types for Edinburgh Prolog.

Variants

Atom(String)

Variable(String)

Integer(i64)

Float(f64)

Neck

QueryOp

Equals

NotEquals

TermEq

TermNeq

Is

Lt

Gt

Lte

Gte

ArithEq

ArithNeq

Plus

Minus

Star

Slash

IntDiv

Mod

Rem

Not

Backslash

Cut

Arrow

Semicolon

Pow

Caret

Colon

ShiftLeft

ShiftRight

Div

BitAnd

BitOr

Xor

Dot

Comma

LParen

RParen

LBracket

RBracket

Pipe

Eof

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

Surface lexeme for error messages (issue #20). Symbolic operators and punctuation are backticked so they stand out from prose; named tokens (atoms, variables, numbers) are written as the user would have typed them; EOF is described in words.

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 StructuralPartialEq for TokenKind