Enum cranelift_isle::sema::Pattern

pub enum Pattern {
    BindPattern(TypeId, VarId, Box<Pattern>),
    Var(TypeId, VarId),
    ConstInt(TypeId, i64),
    ConstPrim(TypeId, Sym),
    Term(TypeId, TermId, Vec<TermArgPattern>),
    Wildcard(TypeId),
    And(TypeId, Vec<Pattern>),
}

A left-hand side pattern of some rule.

Variants

BindPattern(TypeId, VarId, Box<Pattern>)

Tuple Fields

0: TypeId

1: VarId

2: Box<Pattern>

Bind a variable of the given type from the current value.

Keep matching on the value with the subpattern.

Var(TypeId, VarId)

Tuple Fields

0: TypeId

1: VarId

Match the current value against an already bound variable with the given type.

ConstInt(TypeId, i64)

Tuple Fields

0: TypeId

1: i64

Match the current value against a constant integer of the given integer type.

ConstPrim(TypeId, Sym)

Tuple Fields

0: TypeId

1: Sym

Match the current value against a constant primitive value of the given primitive type.

Term(TypeId, TermId, Vec<TermArgPattern>)

Tuple Fields

0: TypeId

1: TermId

2: Vec<TermArgPattern>

Match the current value against the given extractor term with the given arguments.

Wildcard(TypeId)

Tuple Fields

0: TypeId

Match anything of the given type successfully.

And(TypeId, Vec<Pattern>)

Tuple Fields

0: TypeId

1: Vec<Pattern>

Match all of the following patterns of the given type.

Implementations

impl Pattern

pub fn ty(&self) -> TypeId

Get this pattern’s type.

pub fn root_term(&self) -> Option<TermId>

Get the root term of this pattern, if any.

Trait Implementations

impl Clone for Pattern

fn clone(&self) -> Pattern

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Pattern

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

Formats the value using the given formatter.

impl PartialEq<Pattern> for Pattern

fn eq(&self, other: &Pattern) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Pattern) -> bool

This method tests for !=.

impl Eq for Pattern

impl StructuralEq for Pattern

impl StructuralPartialEq for Pattern