Enum arithmetic_parser::Statement

#[non_exhaustive]
pub enum Statement<'a, T: Grammar> {
    Expr(SpannedExpr<'a, T>),
    Assignment {
        lhs: SpannedLvalue<'a, T::Type<'a>>,
        rhs: Box<SpannedExpr<'a, T>>,
    },
}

Statement: an expression or a variable assignment.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Expr(SpannedExpr<'a, T>)

Expression, e.g., x + (1, 2).

Assignment

Fields

lhs: SpannedLvalue<'a, T::Type<'a>>

LHS of the assignment.

rhs: Box<SpannedExpr<'a, T>>

RHS of the assignment.

Assigment, e.g., (x, y) = (5, 8).

Implementations

impl<'a, T: Grammar> Statement<'a, T>

pub fn ty(&self) -> StatementType

Returns the type of this statement.

Trait Implementations

impl<'a, T: Grammar> Clone for Statement<'a, T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, T: Debug + Grammar> Debug for Statement<'a, T>where T::Type<'a>: Debug,

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

Formats the value using the given formatter.

impl<'a, T> PartialEq<Statement<'a, T>> for Statement<'a, T>where T: Grammar, T::Lit: PartialEq, T::Type<'a>: PartialEq,

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.