Enum AirPattern 

pub enum AirPattern {
    Wildcard,
    Int(i64),
    Bool(bool),
    EnumVariant {
        enum_id: EnumId,
        variant_index: u32,
    },
}

A pattern in a match expression (AIR level - typed).

Variants

Wildcard

Wildcard pattern _ - matches anything

Int(i64)

Integer literal pattern (can be positive or negative)

Bool(bool)

Boolean literal pattern

EnumVariant

Enum variant pattern (e.g., Color::Red)

Fields

enum_id: EnumId

The enum type ID

variant_index: u32

The variant index (0-based)

Implementations

impl AirPattern

pub fn encode(&self, body: AirRef, out: &mut Vec<u32>)

Encode this pattern to the extra array, returning the number of u32s written. Format:

• Wildcard: [tag, body_ref] = 2 words
• Int: [tag, body_ref, lo, hi] = 4 words (i64 as two u32s)
• Bool: [tag, body_ref, value] = 3 words
• EnumVariant: [tag, body_ref, enum_id, variant_index] = 4 words

Trait Implementations

impl Clone for AirPattern

fn clone(&self) -> AirPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AirPattern

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

Formats the value using the given formatter.