Enum RirPattern 

pub enum RirPattern {
    Wildcard(Span),
    Int(i64, Span),
    Bool(bool, Span),
    Path {
        module: Option<InstRef>,
        type_name: Spur,
        variant: Spur,
        span: Span,
    },
    DataVariant {
        module: Option<InstRef>,
        type_name: Spur,
        variant: Spur,
        bindings: Vec<RirPatternBinding>,
        span: Span,
    },
    StructVariant {
        module: Option<InstRef>,
        type_name: Spur,
        variant: Spur,
        field_bindings: Vec<RirStructPatternBinding>,
        span: Span,
    },
}

A pattern in a match expression (RIR level - untyped).

Variants

Wildcard(Span)

Wildcard pattern _ - matches anything

Int(i64, Span)

Integer literal pattern (can be positive or negative)

Bool(bool, Span)

Boolean literal pattern

Path

Path pattern for enum variants (e.g., Color::Red or module.Color::Red)

Fields

module: Option<InstRef>

Optional module reference for qualified paths (e.g., the module in module.Color::Red)

type_name: Spur

The enum type name

variant: Spur

The variant name

span: Span

Span of the pattern

DataVariant

Data variant pattern with field bindings (e.g., Option::Some(x))

Fields

module: Option<InstRef>

Optional module reference for qualified paths

type_name: Spur

The enum type name

variant: Spur

The variant name

bindings: Vec<RirPatternBinding>

Bindings for each field

span: Span

Span of the pattern

StructVariant

Struct variant pattern with named field bindings (e.g., Shape::Circle { radius })

Fields

module: Option<InstRef>

Optional module reference for qualified paths

type_name: Spur

The enum type name

variant: Spur

The variant name

field_bindings: Vec<RirStructPatternBinding>

Named field bindings

span: Span

Span of the pattern

Implementations

impl RirPattern

pub fn span(&self) -> Span

Get the span of this pattern.

Trait Implementations

impl Clone for RirPattern

fn clone(&self) -> RirPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RirPattern

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

Formats the value using the given formatter.