Enum ErasedPattern 

pub enum ErasedPattern {
    Wildcard,
    Ctor(u32, Vec<ErasedPattern>),
    Lit(u64),
    Var(String),
}

A pattern in an erased match expression.

Variants

Wildcard

Match any value (wildcard).

Ctor(u32, Vec<ErasedPattern>)

Match a specific constructor tag.

Lit(u64)

Match a specific integer literal.

Var(String)

Bind a variable.

Implementations

impl ErasedPattern

pub fn depth(&self) -> usize

Return the depth of the pattern.

pub fn is_irrefutable(&self) -> bool

Return true if this pattern always matches.

Trait Implementations

impl Clone for ErasedPattern

fn clone(&self) -> ErasedPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ErasedPattern

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

Formats the value using the given formatter.

impl PartialEq for ErasedPattern

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

impl StructuralPartialEq for ErasedPattern