Struct rustc_mir_build::thir::pattern::usefulness::Matrix

pub(super) struct Matrix<'p, 'tcx> {
    pub patterns: Vec<PatStack<'p, 'tcx>>,
}

A 2D matrix.

Fields

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

Implementations

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

fn empty() -> Self

pub(super) fn column_count(&self) -> Option<usize>

Number of columns of this matrix. None is the matrix is empty.

fn push(&mut self, row: PatStack<'p, 'tcx>)

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

fn heads<'a>( &'a self ) -> impl Iterator<Item = &'p DeconstructedPat<'p, 'tcx>> + Clone + Captures<'a>

Iterate over the first component of each row

fn specialize_constructor( &self, pcx: &PatCtxt<'_, 'p, 'tcx>, ctor: &Constructor<'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>

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

Returns a copy of the value.

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 @ ..] +

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

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 24 bytes