Enum Pattern 

pub enum Pattern {
    Literal(Expr),
    Variant(String, Option<Box<Pattern>>, Span),
    Wildcard(Span),
    Ident(String, Span),
    Guard {
        inner: Box<Pattern>,
        condition: Box<Expr>,
        span: Span,
    },
    Or {
        patterns: Vec<Pattern>,
        span: Span,
    },
    ListDestructure {
        elements: Vec<Pattern>,
        rest: Option<String>,
        span: Span,
    },
    TupleDestructure {
        elements: Vec<Pattern>,
        span: Span,
    },
    RecordDestructure {
        type_name: String,
        fields: Vec<(String, Option<Pattern>)>,
        open: bool,
        span: Span,
    },
    TypeCheck {
        name: String,
        type_expr: Box<TypeExpr>,
        span: Span,
    },
}

Variants

Literal(Expr)

Literal pattern: 200, “hello”, true

Variant(String, Option<Box<Pattern>>, Span)

Variant with optional sub-pattern: ok(value), err(e), Some(Value(n))

Wildcard(Span)

Wildcard: _

Ident(String, Span)

Ident binding

Guard

Guard: pattern if condition

Fields

inner: Box<Pattern>

condition: Box<Expr>

span: Span

Or

Or: pattern1 | pattern2

Fields

patterns: Vec<Pattern>

span: Span

ListDestructure

List destructure: [a, b, …rest]

Fields

elements: Vec<Pattern>

rest: Option<String>

span: Span

TupleDestructure

Tuple destructure: (a, b, c)

Fields

elements: Vec<Pattern>

span: Span

RecordDestructure

Record destructure: TypeName(field1:, field2: pat, ..)

Fields

type_name: String

fields: Vec<(String, Option<Pattern>)>

open: bool

span: Span

TypeCheck

Type check: name: Type

Fields

name: String

type_expr: Box<TypeExpr>

span: Span

Trait Implementations

impl Clone for Pattern

fn clone(&self) -> Pattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Pattern

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Pattern

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Pattern

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.