Struct RefinementPasses 

pub struct RefinementPasses(/* private fields */);

Authenticated node-trailer record of refinements already applied.

Implementations

impl RefinementPasses

pub const fn contains(self, pass: RefinementPass) -> bool

Returns whether the named pass is stamped on this graph artifact.

Trait Implementations

impl Clone for RefinementPasses

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RefinementPasses

impl Debug for RefinementPasses

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

Formats the value using the given formatter.

impl Default for RefinementPasses

fn default() -> Self

Returns the “default value” for a type.

impl Eq for RefinementPasses

impl FromIterator<RefinementPass> for RefinementPasses

fn from_iter<T: IntoIterator<Item = RefinementPass>>(passes: T) -> Self

Creates a value from an iterator.

impl PartialEq for RefinementPasses

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RefinementPasses