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)

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

Expr(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