Enum MatchPattern 

pub enum MatchPattern {
    Literal(Literal),
    Wildcard,
    Variable(Symbol),
    Constructor(Symbol, Option<Box<MatchPattern>>),
    Tuple(Vec<MatchPattern>),
}

Pattern for match expressions

Variants

Literal(Literal)

Literal pattern: matches a specific value (e.g., 0, 1, 2)

Wildcard

Wildcard pattern: matches anything (_)

Variable(Symbol)

Variable binding pattern: binds a value to a name

Constructor(Symbol, Option<Box<MatchPattern>>)

Constructor pattern for union types: TypeName(inner_pattern) e.g., Float(x), String(s), Two((x, y)) The Symbol is the type/constructor name, the Option<Box> is the optional inner pattern

Tuple(Vec<MatchPattern>)

Tuple pattern: matches a tuple and binds its elements e.g., (x, y), (a, b, c)

Trait Implementations

impl Clone for MatchPattern

fn clone(&self) -> MatchPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MatchPattern

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MatchPattern

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for MatchPattern

fn eq(&self, other: &MatchPattern) -> 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 Serialize for MatchPattern

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for MatchPattern