Enum Lvalue 

#[non_exhaustive]
pub enum Lvalue<'a, T> {
    Variable {
        ty: Option<Spanned<'a, T>>,
    },
    Tuple(Destructure<'a, T>),
    Object(ObjectDestructure<'a, T>),
}

Assignable value.

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.

Variable

Simple variable, e.g., x.

Fields

ty: Option<Spanned<'a, T>>

Type annotation of the value.

Tuple(Destructure<'a, T>)

Tuple destructuring, e.g., (x, y).

Object(ObjectDestructure<'a, T>)

Object destructuring, e.g., { x, y }.

Implementations

impl<T> Lvalue<'_, T>

pub fn ty(&self) -> LvalueType

Returns type of this lvalue.

Trait Implementations

impl<'a, T: Clone> Clone for Lvalue<'a, T>

fn clone(&self) -> Lvalue<'a, T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, T: Debug> Debug for Lvalue<'a, T>

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

Formats the value using the given formatter.

impl<'a, T: PartialEq> PartialEq for Lvalue<'a, T>

fn eq(&self, other: &Lvalue<'a, T>) -> 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<'a, T> StructuralPartialEq for Lvalue<'a, T>