Enum Pat

pub enum Pat {
    Wild(PatWild),
    Ident(PatIdent),
    Struct(PatStruct),
    TupleStruct(PatTupleStruct),
    Path(PatPath),
    Tuple(PatTuple),
    Box(PatBox),
    Ref(PatRef),
    Lit(PatLit),
    Range(PatRange),
    Slice(PatSlice),
    Macro(PatMacro),
    Verbatim(PatVerbatim),
}

A pattern in a local binding, function signature, match expression, or various other places.

This type is available if Syn is built with the "full" feature.

Syntax tree enum

This type is a syntax tree enum.

Variants

Wild(PatWild)

A pattern that matches any value: _.

This type is available if Syn is built with the "full" feature.

Ident(PatIdent)

A pattern that binds a new variable: ref mut binding @ SUBPATTERN.

This type is available if Syn is built with the "full" feature.

Struct(PatStruct)

A struct or struct variant pattern: Variant { x, y, .. }.

This type is available if Syn is built with the "full" feature.

TupleStruct(PatTupleStruct)

A tuple struct or tuple variant pattern: Variant(x, y, .., z).

This type is available if Syn is built with the "full" feature.

Path(PatPath)

A path pattern like Color::Red, optionally qualified with a self-type.

Unquailfied path patterns can legally refer to variants, structs, constants or associated constants. Quailfied path patterns like <A>::B::C and <A as Trait>::B::C can only legally refer to associated constants.

This type is available if Syn is built with the "full" feature.

Tuple(PatTuple)

A tuple pattern: (a, b).

This type is available if Syn is built with the "full" feature.

Box(PatBox)

A box pattern: box v.

This type is available if Syn is built with the "full" feature.

Ref(PatRef)

A reference pattern: &mut (first, second).

This type is available if Syn is built with the "full" feature.

Lit(PatLit)

A literal pattern: 0.

This holds an Expr rather than a Lit because negative numbers are represented as an Expr::Unary.

This type is available if Syn is built with the "full" feature.

Range(PatRange)

A range pattern: 1..=2.

This type is available if Syn is built with the "full" feature.

Slice(PatSlice)

A dynamically sized slice pattern: [a, b, i.., y, z].

This type is available if Syn is built with the "full" feature.

Macro(PatMacro)

A macro in expression position.

This type is available if Syn is built with the "full" feature.

Verbatim(PatVerbatim)

Tokens in pattern position not interpreted by Syn.

This type is available if Syn is built with the "full" feature.

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 From<Pat> for FnArg

fn from(e: Pat) -> FnArg

Converts to this type from the input type.

impl From<PatBox> for Pat

fn from(e: PatBox) -> Pat

Converts to this type from the input type.

impl From<PatIdent> for Pat

fn from(e: PatIdent) -> Pat

Converts to this type from the input type.

impl From<PatLit> for Pat

fn from(e: PatLit) -> Pat

Converts to this type from the input type.

impl From<PatMacro> for Pat

fn from(e: PatMacro) -> Pat

Converts to this type from the input type.

impl From<PatPath> for Pat

fn from(e: PatPath) -> Pat

Converts to this type from the input type.

impl From<PatRange> for Pat

fn from(e: PatRange) -> Pat

Converts to this type from the input type.

impl From<PatRef> for Pat

fn from(e: PatRef) -> Pat

Converts to this type from the input type.

impl From<PatSlice> for Pat

fn from(e: PatSlice) -> Pat

Converts to this type from the input type.

impl From<PatStruct> for Pat

fn from(e: PatStruct) -> Pat

Converts to this type from the input type.

impl From<PatTuple> for Pat

fn from(e: PatTuple) -> Pat

Converts to this type from the input type.

impl From<PatTupleStruct> for Pat

fn from(e: PatTupleStruct) -> Pat

Converts to this type from the input type.

impl From<PatVerbatim> for Pat

fn from(e: PatVerbatim) -> Pat

Converts to this type from the input type.

impl From<PatWild> for Pat

fn from(e: PatWild) -> Pat

Converts to this type from the input type.

impl Hash for Pat

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

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 Synom for Pat

fn parse(i: Cursor<'_>) -> PResult<'_, Self>

fn description() -> Option<&'static str>

impl ToTokens for Pat

fn to_tokens(&self, tokens: &mut Tokens)

Write self to the given Tokens.

fn into_tokens(self) -> Tokens

where Self: Sized,

Convert self directly into a Tokens object.

impl Eq for Pat

impl StructuralPartialEq for Pat