Tok

isla_lib::ir_lexer

Enum Tok

pub enum Tok<'input> {
Show 83 variants
    Nat(&'input str),
    Id(&'input str),
    String(&'input str),
    Hex(&'input str),
    Bin(&'input str),
    OpNot,
    OpOr,
    OpAnd,
    OpEq,
    OpNeq,
    OpSlice,
    OpSetSlice,
    OpConcat,
    OpSigned,
    OpUnsigned,
    OpBvnot,
    OpBvor,
    OpBvxor,
    OpBvand,
    OpBvadd,
    OpBvsub,
    OpBvaccess,
    OpAdd,
    OpSub,
    OpLteq,
    OpLt,
    OpGteq,
    OpGt,
    OpHead,
    OpTail,
    OpZeroExtend,
    TyI,
    TyBv,
    TyUnit,
    TyBool,
    TyBit,
    TyString,
    TyReal,
    TyEnum,
    TyStruct,
    TyUnion,
    TyVec,
    TyFVec,
    TyList,
    TurboFish,
    Backtick,
    Gt,
    Amp,
    Lparen,
    Rparen,
    Lbrace,
    Rbrace,
    Dot,
    Star,
    Colon,
    Eq,
    Comma,
    Semi,
    Dollar,
    Bitzero,
    Bitone,
    Unit,
    Arrow,
    Minus,
    Struct,
    Is,
    As,
    Jump,
    Goto,
    Mono,
    Failure,
    Arbitrary,
    Undefined,
    End,
    Register,
    Fn,
    Let,
    Enum,
    Union,
    Val,
    True,
    False,
    EmptyBitvec,
}

Variants§

Nat(&'input str)

Id(&'input str)

String(&'input str)

Hex(&'input str)

Bin(&'input str)

OpNot

OpOr

OpAnd

OpEq

OpNeq

OpSlice

OpSetSlice

OpConcat

OpSigned

OpUnsigned

OpBvnot

OpBvor

OpBvxor

OpBvand

OpBvadd

OpBvsub

OpBvaccess

OpAdd

OpSub

OpLteq

OpLt

OpGteq

OpGt

OpHead

OpTail

OpZeroExtend

TyI

TyBv

TyUnit

TyBool

TyBit

TyString

TyReal

TyEnum

TyStruct

TyUnion

TyVec

TyFVec

TyList

TurboFish

Backtick

Gt

Amp

Lparen

Rparen

Lbrace

Rbrace

Dot

Star

Colon

Eq

Comma

Semi

Dollar

Bitzero

Bitone

Unit

Arrow

Minus

Struct

Is

As

Jump

Goto

Mono

Failure

Arbitrary

Undefined

End

Register

Fn

Let

Enum

Union

Val

True

False

EmptyBitvec

Trait Implementations§

impl<'input> Clone for Tok<'input>

fn clone(&self) -> Tok<'input>

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl<'input> Debug for Tok<'input>

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

Formats the value using the given formatter. Read more

impl<'input> Display for Tok<'input>

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl<'input> Freeze for Tok<'input>

impl<'input> RefUnwindSafe for Tok<'input>

impl<'input> Send for Tok<'input>

impl<'input> Sync for Tok<'input>

impl<'input> Unpin for Tok<'input>

impl<'input> UnwindSafe for Tok<'input>

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.