Enum Token

pub(crate) enum Token {
    Ident(String),
    Keyword(Keyword),
    Witness(u32),
    Block(u32),
    Int(FieldElement),
    Colon,
    Semicolon,
    Comma,
    LeftBracket,
    RightBracket,
    LeftParen,
    RightParen,
    Plus,
    Minus,
    Star,
    Equal,
    Eof,
}

Token types used in the ACIR text format.

Variants

Ident(String)

Identifier such as RANGE, AND, etc.

Keyword(Keyword)

Reserved identifiers such as CONSTRAIN. Most words in ACIR’s human readable are expected to be keywords

Witness(u32)

Witness index, like w42

Block(u32)

Block index, like b42

Int(FieldElement)

Integer value represented using the underlying native field element

Colon

:

Semicolon

;

Comma

,

LeftBracket

[

RightBracket

]

LeftParen

(

RightParen

)

Plus

Minus

Star

Equal

=

Eof

Implementations

impl Token

pub(super) fn into_single_span(self, position: Position) -> SpannedToken

pub(super) fn into_span(self, start: Position, end: Position) -> SpannedToken

Trait Implementations

impl Clone for Token

fn clone(&self) -> Token

Returns a copy 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 PartialEq for Token

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