Struct LetStatement

Source
pub struct LetStatement {
    pub let_token: Let,
    pub ident: Punctuated<VariableDefinition, Comma>,
    pub eq: Eq,
    pub expr: Expression<true>,
    pub rule: Option<(RuleOperator, Expression<true>)>,
    pub semi: Semi,
}
Expand description

let <something> = <something else>. Defines variables and possibly adds rules to them.

Fields§

§let_token: Let

The let token.

§ident: Punctuated<VariableDefinition, Comma>

The lhs ident iterator.

§eq: Eq

The = token.

§expr: Expression<true>

The rhs expression.

§rule: Option<(RuleOperator, Expression<true>)>

The rule after the rhs expression.

§semi: Semi

The ending semicolon.

Trait Implementations§

Source§

impl Debug for LetStatement

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Parse for LetStatement

Source§

type FirstToken = TokenOr<TokenOr<TokenOr<TokenOr<TokenOr<<Let as Parse>::FirstToken, <Punctuated<VariableDefinition, Comma> as Parse>::FirstToken>, <Eq as Parse>::FirstToken>, <Expression<true> as Parse>::FirstToken>, <Option<(RuleOperator, Expression<true>)> as Parse>::FirstToken>, <Semi as Parse>::FirstToken>

The first token of a structure.
Source§

fn parse<'t, I: Iterator<Item = &'t Token> + Clone>( input: &mut InputStream<'t, I>, ) -> Result<Self, Error>

Parse the tokens into Self. Read more
Source§

fn get_span(&self) -> Span

Get the span of this node.

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CheckParses for T
where T: Parse,

Source§

fn check_parses<'t, I>(input: &InputStream<'t, I>) -> Option<bool>
where I: Iterator<Item = &'t Token> + Clone,

Check if Self would parse given the tokens.
Source§

impl<T> Convert for T

Source§

fn convert<U>(self, context: &CompileContext) -> Expr<U>
where U: ConvertFrom<T>,

Convert self into a specific type. Read more
Source§

fn can_convert<U>(&self) -> bool
where U: ConvertFrom<T>,

Check if self can be converted into a specific type. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.