Struct ObjectDestructureField 

pub struct ObjectDestructureField<'a, T> {
    pub field_name: Spanned<'a>,
    pub binding: Option<SpannedLvalue<'a, T>>,
}

Single field in ObjectDestructure, such as x and y: new_y in { x, y: new_y }.

In addition to the “ordinary” field: lvalue syntax for a field with binding, an alternative one is supported: field -> lvalue. This makes the case of a field with type annotation easier to recognize (for humans); field -> lvalue: Type is arguably more readable than field: lvalue: Type (although the latter is still valid syntax).

Fields

field_name: Spanned<'a>

Field name, such as xs in xs: (x, ...tail).

binding: Option<SpannedLvalue<'a, T>>

Binding for the field, such as (x, ...tail) in xs: (x, ...tail).

Trait Implementations

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

fn clone(&self) -> ObjectDestructureField<'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 ObjectDestructureField<'a, T>

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

Formats the value using the given formatter.

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

fn eq(&self, other: &ObjectDestructureField<'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 ObjectDestructureField<'a, T>