Enum rustc_typeck::hir::PatKind
[−]
[src]
pub enum PatKind { Wild, Binding(BindingMode, DefId, Spanned<Symbol>, Option<P<Pat>>), Struct(QPath, P<[Spanned<FieldPat>]>, bool), TupleStruct(QPath, P<[P<Pat>]>, Option<usize>), Path(QPath), Tuple(P<[P<Pat>]>, Option<usize>), Box(P<Pat>), Ref(P<Pat>, Mutability), Lit(P<Expr>), Range(P<Expr>, P<Expr>, RangeEnd), Slice(P<[P<Pat>]>, Option<P<Pat>>, P<[P<Pat>]>), }
rustc_private
)Variants
Wild
rustc_private
)Represents a wildcard pattern (_
)
Binding(BindingMode, DefId, Spanned<Symbol>, Option<P<Pat>>)
rustc_private
)A fresh binding ref mut binding @ OPT_SUBPATTERN
.
The DefId
is for the definition of the variable being bound.
Struct(QPath, P<[Spanned<FieldPat>]>, bool)
rustc_private
)A struct or struct variant pattern, e.g. Variant {x, y, ..}
.
The bool
is true
in the presence of a ..
.
TupleStruct(QPath, P<[P<Pat>]>, Option<usize>)
rustc_private
)A tuple struct/variant pattern Variant(x, y, .., z)
.
If the ..
pattern fragment is present, then Option<usize>
denotes its position.
0 <= position <= subpats.len()
Path(QPath)
rustc_private
)A path pattern for an unit struct/variant or a (maybe-associated) constant.
Tuple(P<[P<Pat>]>, Option<usize>)
rustc_private
)A tuple pattern (a, b)
.
If the ..
pattern fragment is present, then Option<usize>
denotes its position.
0 <= position <= subpats.len()
Box(P<Pat>)
rustc_private
)A box
pattern
Ref(P<Pat>, Mutability)
rustc_private
)A reference pattern, e.g. &mut (a, b)
Lit(P<Expr>)
rustc_private
)A literal
Range(P<Expr>, P<Expr>, RangeEnd)
rustc_private
)A range pattern, e.g. 1...2
or 1..2
Slice(P<[P<Pat>]>, Option<P<Pat>>, P<[P<Pat>]>)
rustc_private
)[a, b, ..i, y, z]
is represented as:
PatKind::Slice(box [a, b], Some(i), box [y, z])
Trait Implementations
impl Decodable for PatKind
[src]
fn decode<__D>(__arg_0: &mut __D) -> Result<PatKind, __D::Error> where __D: Decoder
rustc_private
)impl PartialEq<PatKind> for PatKind
[src]
fn eq(&self, __arg_0: &PatKind) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &PatKind) -> bool
This method tests for !=
.
impl Hash for PatKind
[src]
fn hash<__H>(&self, __arg_0: &mut __H) where __H: Hasher
Feeds this value into the state given, updating the hasher as necessary.
fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher
1.3.0
Feeds a slice of this type into the state provided.
impl Clone for PatKind
[src]
fn clone(&self) -> PatKind
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more
impl Eq for PatKind
[src]
impl Debug for PatKind
[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result<(), Error>
Formats the value using the given formatter.