Enum cranelift_isle::ast::TermArgPattern

pub enum TermArgPattern {
    Pattern(Pattern),
    Expr(Expr),
}

A pattern in a term argument. Adds “evaluated expression” to kinds of patterns in addition to all options in Pattern.

Variants

Pattern(Pattern)

Tuple Fields

0: Pattern

A regular pattern that must match the existing value in the term’s argument.

Expr(Expr)

Tuple Fields

0: Expr

An expression that is evaluated during the match phase and can be given into an extractor. This is essentially a limited form of unification or bidirectional argument flow (a la Prolog): we can pass an arg into an extractor rather than getting the arg out of it.

Trait Implementations

impl Clone for TermArgPattern

fn clone(&self) -> TermArgPattern

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TermArgPattern

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

Formats the value using the given formatter.

impl PartialEq<TermArgPattern> for TermArgPattern

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

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

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

This method tests for !=.

impl Eq for TermArgPattern

impl StructuralEq for TermArgPattern

impl StructuralPartialEq for TermArgPattern