Struct PatternField 

pub struct PatternField { /* private fields */ }

A named field of an ADT variant, carrying the kernel Shape that checks and binds its value.

The kernel defines the Shape match/binding contract; a PatternField pairs that contract with a field name so variant construction and matching run the field’s shape over the supplied value.

Implementations

impl PatternField

pub fn new(name: Symbol, shape: Arc<dyn Shape>) -> Self

Builds a field with the given name and checking Shape.

pub fn name(&self) -> &Symbol

Returns the field name.

pub fn shape(&self) -> &Arc<dyn Shape>

Returns the kernel Shape that checks and binds the field value.

Trait Implementations

impl Clone for PatternField

fn clone(&self) -> PatternField

Returns a duplicate of the value.

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

Performs copy-assignment from source.