flux_syntax::lexer

Struct Symbols

struct Symbols {Show 13 fields
    fn_: Symbol,
    ref_: Symbol,
    requires: Symbol,
    ensures: Symbol,
    strg: Symbol,
    qualifier: Symbol,
    sort: Symbol,
    opaque: Symbol,
    local: Symbol,
    bitvec: Symbol,
    hrn: Symbol,
    hdl: Symbol,
    forall: Symbol,
}

Fields§

§fn_: Symbol§ref_: Symbol§requires: Symbol§ensures: Symbol§strg: Symbol§qualifier: Symbol§sort: Symbol§opaque: Symbol§local: Symbol§bitvec: Symbol§hrn: Symbol§hdl: Symbol§forall: Symbol

Auto Trait Implementations§

impl Freeze for Symbols

impl RefUnwindSafe for Symbols

impl Send for Symbols

impl Sync for Symbols

impl Unpin for Symbols

impl UnwindSafe for Symbols

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