Enum ResolvedPattern 

pub enum ResolvedPattern {
    Wildcard,
    Literal(Literal),
    Ident(String),
    EmptyList,
    Cons(String, String),
    Tuple(Vec<ResolvedPattern>),
    Ctor(ResolvedCtor, Vec<String>),
}

Pattern shape — mirror of crate::ast::Pattern.

Variants

Wildcard

Literal(Literal)

Ident(String)

EmptyList

Cons(String, String)

Tuple(Vec<ResolvedPattern>)

Ctor(ResolvedCtor, Vec<String>)

Constructor pattern — Result.Ok(x), Shape.Circle(r), Shape.Point. Resolved to a ResolvedCtor + pattern-binding names.

Trait Implementations

impl Clone for ResolvedPattern

fn clone(&self) -> ResolvedPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedPattern

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

Formats the value using the given formatter.

impl PartialEq for ResolvedPattern

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