Struct PatternRowVec

pub struct PatternRowVec {
    pub inner: Vec<SimplifiedPattern>,
}

Fields

inner: Vec<SimplifiedPattern>

Implementations

impl PatternRowVec

pub fn new(inner: Vec<SimplifiedPattern>) -> Self

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn pats(&self) -> &[SimplifiedPattern]

pub fn head(&self) -> Option<&SimplifiedPattern>

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

pub fn swap(&mut self, a: usize, b: usize)

pub fn d_specialize(&self, _db: &dyn AnalyzerDb) -> Vec<Self>

pub fn collect_column_ctors(&self, column: usize) -> Vec<ConstructorKind>

Trait Implementations

impl Clone for PatternRowVec

fn clone(&self) -> PatternRowVec

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PatternRowVec

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

Formats the value using the given formatter.

impl PartialEq for PatternRowVec

fn eq(&self, other: &PatternRowVec) -> 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 PatternRowVec

impl StructuralPartialEq for PatternRowVec