Struct ra_ap_rustc_pattern_analysis::pat::DeconstructedPat

pub struct DeconstructedPat<Cx: PatCx> { /* private fields */ }

Values and patterns can be represented as a constructor applied to some fields. This represents a pattern in this form. A DeconstructedPat will almost always come from user input; the only exception are some Wildcards introduced during pattern lowering.

Implementations

impl<Cx: PatCx> DeconstructedPat<Cx>

pub fn new( ctor: Constructor<Cx>, fields: Vec<IndexedPat<Cx>>, arity: usize, ty: Cx::Ty, data: Cx::PatData ) -> Self

pub fn at_index(self, idx: usize) -> IndexedPat<Cx>

pub fn ctor(&self) -> &Constructor<Cx>

pub fn ty(&self) -> &Cx::Ty

pub fn data(&self) -> &Cx::PatData

Returns the extra data stored in a pattern.

pub fn arity(&self) -> usize

pub fn iter_fields<'a>(&'a self) -> impl Iterator<Item = &'a IndexedPat<Cx>>

pub fn walk<'a>(&'a self, it: &mut impl FnMut(&'a Self) -> bool)

Walk top-down and call it in each place where a pattern occurs starting with the root pattern walk is called on. If it returns false then we will descend no further but siblings will be processed.

Trait Implementations

impl<Cx: PatCx> Debug for DeconstructedPat<Cx>

This is best effort and not good enough for a Display impl.

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.