Struct Equalities 

pub struct Equalities { /* private fields */ }

Implementations

impl Equalities

pub fn from_to(&self, eq: EqTransIdx) -> (ENodeIdx, ENodeIdx)

pub fn walk_trans<E>( &self, eq: EqTransIdx, f: impl FnMut(&EqualityExpl, bool) -> Result<(), E>, ) -> Result<(), E>

Walk the given equalities of a transitive equality, returning early with the error if the closure returns one.

impl Equalities

pub fn is_equal( &self, eq: EqTransIdx, simple: &mut impl Iterator<Item = (EqGivenUse, bool)>, ) -> Option<bool>

impl Equalities

pub fn walk_to(&self, from: ENodeIdx, eq: EqTransIdx) -> ENodeIdx

pub fn path(&self, eq: EqTransIdx) -> Vec<ENodeIdx>

Trait Implementations

impl Debug for Equalities

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

Formats the value using the given formatter.

impl Default for Equalities

fn default() -> Equalities

Returns the “default value” for a type.