Enum Pattern 

pub enum Pattern<I = String> {
    Wild,
    Var(I),
    Unit,
    Bool(bool),
    Int(i64),
    Str(String),
    Tuple(Vec<Pattern<I>>),
    EmptyList,
    Cons(Box<Pattern<I>>, Box<Pattern<I>>),
    Ctor(String, Option<Box<Pattern<I>>>),
    As(Box<Pattern<I>>, I),
}

Match patterns (untyped_pattern_tree).

Variants

Wild

Var(I)

Unit

Bool(bool)

Int(i64)

Str(String)

Tuple(Vec<Pattern<I>>)

EmptyList

Cons(Box<Pattern<I>>, Box<Pattern<I>>)

head :: tail

Ctor(String, Option<Box<Pattern<I>>>)

As(Box<Pattern<I>>, I)

pat as name

Implementations

impl<I> Pattern<I>

pub fn map_idents<J>(&self, f: &impl Fn(&I) -> J) -> Pattern<J>

Trait Implementations

impl<I: Clone> Clone for Pattern<I>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Debug> Debug for Pattern<I>

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

Formats the value using the given formatter.

impl<I: PartialEq> PartialEq for Pattern<I>

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

Equality operator ==.

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

Inequality operator !=.

impl<I: PartialEq> StructuralPartialEq for Pattern<I>