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
Wildrustc_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: Hasher1.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.