Struct Match

pub struct Match {
    pub kind: MatchKind,
    pub blamed: Box<[Blame]>,
    pub frame: StackIdx,
}

Fields

kind: MatchKind

blamed: Box<[Blame]>

frame: StackIdx

Implementations

impl Match

pub fn pattern_matches(&self) -> impl Iterator<Item = &Blame>

A quantifier may have multiple possible patterns where each instantiation will be due to matching exactly one. Each of these patterns has a sequence of arbitrarily many terms which must all be matched. This returns a sequence of Blame where each explains how the corresponding term in the pattern was matched.

Trait Implementations

impl Clone for Match

fn clone(&self) -> Match

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Match

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

Formats the value using the given formatter.