Enum PatternTerm 

pub enum PatternTerm {
    Var(String),
    Const(String),
}

A term in a pattern: a named variable or a constant term token.

Variants

Var(String)

Const(String)

Implementations

impl PatternTerm

pub fn parse(token: &str) -> Self

?x → variable x; anything else → a constant.

Trait Implementations

impl Clone for PatternTerm

fn clone(&self) -> PatternTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PatternTerm

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

Formats the value using the given formatter.

impl Eq for PatternTerm

impl PartialEq for PatternTerm

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PatternTerm