Enum Pat 

#[non_exhaustive]
pub enum Pat {
    Var {
        name: Identifier,
        pos: Pos,
        span: Span,
    },
    Wild {
        pos: Pos,
        span: Span,
    },
    Con {
        qualifier: Option<ModuleName>,
        name: Identifier,
        args: Vec<Self>,
        pos: Pos,
        span: Span,
    },
    Tuple {
        items: Vec<Self>,
        pos: Pos,
        span: Span,
    },
    List {
        items: Vec<Self>,
        pos: Pos,
        span: Span,
    },
    Lit {
        kind: LitKind,
        text: String,
        pos: Pos,
        span: Span,
    },
    As {
        name: Identifier,
        pat: Box<Self>,
        pos: Pos,
        span: Span,
    },
    Other {
        raw: String,
        pos: Pos,
        span: Span,
    },
}

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Var

Fields

name: Identifier

pos: Pos

span: Span

Wild

Fields

pos: Pos

span: Span

Con

Fields

qualifier: Option<ModuleName>

name: Identifier

args: Vec<Self>

pos: Pos

span: Span

Tuple

Fields

items: Vec<Self>

pos: Pos

span: Span

List

Fields

items: Vec<Self>

pos: Pos

span: Span

Lit

Fields

kind: LitKind

text: String

pos: Pos

span: Span

As

name@pat

Fields

name: Identifier

pat: Box<Self>

pos: Pos

span: Span

Other

Anything the parser couldn’t classify; raw text preserved.

Fields

raw: String

pos: Pos

span: Span

Implementations

impl Pat

pub const fn pos(&self) -> Pos

pub const fn span(&self) -> Span

Byte span covering the whole pattern.

pub fn render(&self) -> String

Render back to compact, source-like text. Lossy and normalizing in the same way as Expr::render; use the node’s span for byte-faithful text.

Trait Implementations

impl Clone for Pat

fn clone(&self) -> Pat

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Pat

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

Formats the value using the given formatter.

impl Display for Pat

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

Formats the value using the given formatter.

impl Eq for Pat

impl PartialEq for Pat

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