Enum Pattern 

pub enum Pattern<L: Language> {
    ENode(L, Vec<Pattern<L>>),
    PVar(String),
    Subst(Box<Pattern<L>>, Box<Pattern<L>>, Box<Pattern<L>>),
}

A Pattern to match against, or as the rhs of a rewrite rule.

• It supports pattern-variables ?x to match against anything.
• It supports (on the rhs) substitutions b[x := t] to substitute natively.

Variants

ENode(L, Vec<Pattern<L>>)

PVar(String)

Subst(Box<Pattern<L>>, Box<Pattern<L>>, Box<Pattern<L>>)

Implementations

impl<L: Language> Pattern<L>

pub fn parse(s: &str) -> Result<Self, ParseError>

Trait Implementations

impl<L: Clone + Language> Clone for Pattern<L>

fn clone(&self) -> Pattern<L>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<L: Language> Debug for Pattern<L>

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

Formats the value using the given formatter.

impl<L: Language> Display for Pattern<L>

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

Formats the value using the given formatter.

impl<L: Hash + Language> Hash for Pattern<L>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<L: PartialEq + Language> PartialEq for Pattern<L>

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<L: Eq + Language> Eq for Pattern<L>

impl<L: Language> StructuralPartialEq for Pattern<L>