Enum MetaPattern 

pub enum MetaPattern {
    Wildcard,
    Var(Name),
    Constructor(Name, Vec<MetaPattern>),
    Literal(Literal),
    As(Box<MetaPattern>, Name),
    Or(Box<MetaPattern>, Box<MetaPattern>),
    Inaccessible(Expr),
}

A pattern in a match expression.

Variants

Wildcard

Wildcard pattern: matches anything, binds nothing.

Var(Name)

Variable pattern: matches anything, binds the value.

Constructor(Name, Vec<MetaPattern>)

Constructor pattern: matches if head is this constructor.

Literal(Literal)

Literal pattern: matches exact literal value.

As(Box<MetaPattern>, Name)

As-pattern: p as x matches p and also binds x.

Or(Box<MetaPattern>, Box<MetaPattern>)

Or-pattern: matches if either sub-pattern matches.

Inaccessible(Expr)

Inaccessible pattern (dot pattern): .e.

Implementations

impl MetaPattern

pub fn is_irrefutable(&self) -> bool

Check if this pattern is a wildcard or variable.

pub fn is_constructor(&self) -> bool

Check if this pattern is a constructor pattern.

pub fn is_literal(&self) -> bool

Check if this pattern is a literal.

pub fn ctor_name(&self) -> Option<&Name>

Get the constructor name (if this is a constructor pattern).

pub fn subpatterns(&self) -> &[MetaPattern]

Get the subpatterns (for constructor patterns).

pub fn num_bindings(&self) -> usize

Count the number of variables bound by this pattern.

pub fn bound_vars(&self) -> Vec<Name>

Collect all variable names bound by this pattern.

pub fn depth(&self) -> usize

Get the depth of nesting.

Trait Implementations

impl Clone for MetaPattern

fn clone(&self) -> MetaPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MetaPattern

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

Formats the value using the given formatter.

impl PartialEq for MetaPattern

fn eq(&self, other: &MetaPattern) -> 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 StructuralPartialEq for MetaPattern