[][src]Enum syn::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[src]

impl From<Pat> for FnArg[src]

impl From<PatBox> for Pat[src]

impl From<PatIdent> for Pat[src]

impl From<PatLit> for Pat[src]

impl From<PatMacro> for Pat[src]

impl From<PatPath> for Pat[src]

impl From<PatRange> for Pat[src]

impl From<PatRef> for Pat[src]

impl From<PatSlice> for Pat[src]

impl From<PatStruct> for Pat[src]

impl From<PatTuple> for Pat[src]

impl From<PatTupleStruct> for Pat[src]

impl From<PatVerbatim> for Pat[src]

impl From<PatWild> for Pat[src]

impl Synom for Pat[src]

impl ToTokens for Pat[src]

Auto Trait Implementations

impl !RefUnwindSafe for Pat

impl !Send for Pat

impl !Sync for Pat

impl Unpin for Pat

impl UnwindSafe for Pat

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Spanned for T where
    T: ToTokens
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.