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) -> Self

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 Eq for ErasedPattern

impl PartialEq for ErasedPattern

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ErasedPattern