Enum syn::Pat [−][src]
pub enum Pat {
Show 16 variants
Box(PatBox),
Ident(PatIdent),
Lit(PatLit),
Macro(PatMacro),
Or(PatOr),
Path(PatPath),
Range(PatRange),
Reference(PatReference),
Rest(PatRest),
Slice(PatSlice),
Struct(PatStruct),
Tuple(PatTuple),
TupleStruct(PatTupleStruct),
Type(PatType),
Verbatim(TokenStream),
Wild(PatWild),
// some variants omitted
}
Expand description
A pattern in a local binding, function signature, match expression, or various other places.
This type is available only if Syn is built with the "full"
feature.
Syntax tree enum
This type is a syntax tree enum.
Variants
Box(PatBox)
Tuple Fields
0: PatBox
A box pattern: box v
.
Ident(PatIdent)
Tuple Fields
0: PatIdent
A pattern that binds a new variable: ref mut binding @ SUBPATTERN
.
Lit(PatLit)
Tuple Fields
0: PatLit
A literal pattern: 0
.
This holds an Expr
rather than a Lit
because negative numbers
are represented as an Expr::Unary
.
Macro(PatMacro)
Tuple Fields
0: PatMacro
A macro in pattern position.
Or(PatOr)
Tuple Fields
0: PatOr
A pattern that matches any one of a set of cases.
Path(PatPath)
Tuple Fields
0: PatPath
A path pattern like Color::Red
, optionally qualified with a
self-type.
Unqualified path patterns can legally refer to variants, structs,
constants or associated constants. Qualified path patterns like
<A>::B::C
and <A as Trait>::B::C
can only legally refer to
associated constants.
Range(PatRange)
Tuple Fields
0: PatRange
A range pattern: 1..=2
.
Reference(PatReference)
Tuple Fields
0: PatReference
A reference pattern: &mut var
.
Rest(PatRest)
Tuple Fields
0: PatRest
The dots in a tuple or slice pattern: [0, 1, ..]
Slice(PatSlice)
Tuple Fields
0: PatSlice
A dynamically sized slice pattern: [a, b, ref i @ .., y, z]
.
Struct(PatStruct)
Tuple Fields
0: PatStruct
A struct or struct variant pattern: Variant { x, y, .. }
.
Tuple(PatTuple)
Tuple Fields
0: PatTuple
A tuple pattern: (a, b)
.
TupleStruct(PatTupleStruct)
Tuple Fields
A tuple struct or tuple variant pattern: Variant(x, y, .., z)
.
Type(PatType)
Tuple Fields
0: PatType
A type ascription pattern: foo: f64
.
Verbatim(TokenStream)
Tuple Fields
0: TokenStream
Tokens in pattern position not interpreted by Syn.
Wild(PatWild)
Tuple Fields
0: PatWild
A pattern that matches any value: _
.
Trait Implementations
Performs the conversion.
Performs the conversion.
Auto Trait Implementations
impl RefUnwindSafe for Pat
impl UnwindSafe for Pat
Blanket Implementations
Mutably borrows from an owned value. Read more