Struct PatternMatrix

pub struct PatternMatrix { /* private fields */ }

Implementations

impl PatternMatrix

pub fn new(rows: Vec<PatternRowVec>) -> Self

pub fn from_arms<'db>( scope: &'db BlockScope<'db, 'db>, arms: &[Node<MatchArm>], ty: TypeId, ) -> Self

pub fn rows(&self) -> &[PatternRowVec]

pub fn into_rows(self) -> Vec<PatternRowVec>

pub fn find_non_exhaustiveness( &self, db: &dyn AnalyzerDb, ) -> Option<Vec<SimplifiedPattern>>

pub fn is_row_useful(&self, db: &dyn AnalyzerDb, row: usize) -> bool

pub fn nrows(&self) -> usize

pub fn ncols(&self) -> usize

pub fn swap_col(&mut self, col1: usize, col2: usize)

pub fn sigma_set(&self) -> SigmaSet

pub fn phi_specialize(&self, db: &dyn AnalyzerDb, ctor: ConstructorKind) -> Self

pub fn d_specialize(&self, db: &dyn AnalyzerDb) -> Self

Trait Implementations

impl Clone for PatternMatrix

fn clone(&self) -> PatternMatrix

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PatternMatrix

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

Formats the value using the given formatter.

impl PartialEq for PatternMatrix

fn eq(&self, other: &PatternMatrix) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for PatternMatrix

impl StructuralPartialEq for PatternMatrix