Struct rustc_mir_build::thir::pattern::_match::Matrix

pub(in thir::pattern::_match) struct Matrix<'p, 'tcx> {
    patterns: Vec<PatStack<'p, 'tcx>>,
}

A 2D matrix.

Fields

patterns: Vec<PatStack<'p, 'tcx>>

Implementations

impl<'p, 'tcx> Matrix<'p, 'tcx>

pub(in thir::pattern::_match) fn empty(
) -> Self

pub(in thir::pattern::_match) fn push(
    &mut self,
    row: PatStack<'p, 'tcx>
)

Pushes a new row to the matrix. If the row starts with an or-pattern, this expands it.

pub(in thir::pattern::_match) fn heads<'a>(
    &'a self
) -> impl Iterator<Item = &'a Pat<'tcx>> + Captures<'p>

Iterate over the first component of each row

pub(in thir::pattern::_match) fn head_ctors<'a>(
    &'a self,
    cx: &'a MatchCheckCtxt<'p, 'tcx>
) -> impl Iterator<Item = &'a Constructor<'tcx>> + Captures<'a> + Captures<'p>

Iterate over the first constructor of each row

pub(in thir::pattern::_match) fn specialize_constructor(
    &self,
    pcx: PatCtxt<'_, 'p, 'tcx>,
    ctor: &Constructor<'tcx>,
    ctor_wild_subpatterns: &Fields<'p, 'tcx>
) -> Matrix<'p, 'tcx>

This computes S(constructor, self). See top of the file for explanations.

Trait Implementations

impl<'p, 'tcx> Clone for Matrix<'p, 'tcx>

pub fn clone(&self) -> Matrix<'p, 'tcx>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'p, 'tcx> Debug for Matrix<'p, 'tcx>

Pretty-printer for matrices of patterns, example:

+++++++++++++++++++++++++++++
+ _     + []                +
+++++++++++++++++++++++++++++
+ true  + [First]           +
+++++++++++++++++++++++++++++
+ true  + [Second(true)]    +
+++++++++++++++++++++++++++++
+ false + [_]               +
+++++++++++++++++++++++++++++
+ _     + [_, _, tail @ ..] +
+++++++++++++++++++++++++++++

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

Formats the value using the given formatter.

impl<'p, 'tcx> FromIterator<PatStack<'p, 'tcx>> for Matrix<'p, 'tcx>

pub fn from_iter<T>(iter: T) -> Self where
    T: IntoIterator<Item = PatStack<'p, 'tcx>>, 

Creates a value from an iterator.

impl<'p, 'tcx> PartialEq<Matrix<'p, 'tcx>> for Matrix<'p, 'tcx>

pub fn eq(&self, other: &Matrix<'p, 'tcx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &Matrix<'p, 'tcx>) -> bool

This method tests for !=.

impl<'p, 'tcx> StructuralPartialEq for Matrix<'p, 'tcx>