Struct moore_svlog::pattern_mapping::PatternMapping

pub struct PatternMapping<'a> {
    pub hir: &'a Expr<'a>,
    pub ty: &'a UnpackedType<'a>,
    pub fields: Vec<(PatternField<'a>, &'a Expr<'a>)>,
}

A mapping of the indices/members of a pattern's type to an expression.

Fields

hir: &'a Expr<'a>

The corresponding pattern expression.

ty: &'a UnpackedType<'a>

The type the pattern maps to.

fields: Vec<(PatternField<'a>, &'a Expr<'a>)>

The mapped expression for each field. The fields are in type order. Multiple fields may be assigned the same expression.

Trait Implementations

impl<'a> Clone for PatternMapping<'a>

pub fn clone(&self) -> PatternMapping<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for PatternMapping<'a>

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

Formats the value using the given formatter.