Struct rustc_mir::dataflow::framework::EffectIndex

pub struct EffectIndex {
    statement_index: usize,
    effect: Effect,
}

Fields

statement_index: usize

effect: Effect

Implementations

impl EffectIndex

pub(in dataflow::framework) fn next_in_forward_order(
    self
) -> Self

pub(in dataflow::framework) fn next_in_backward_order(
    self
) -> Self

pub(in dataflow::framework) fn precedes_in_forward_order(
    self,
    other: Self
) -> bool

Returns true if the effect at self should be applied eariler than the effect at other in forward order.

pub(in dataflow::framework) fn precedes_in_backward_order(
    self,
    other: Self
) -> bool

Returns true if the effect at self should be applied earlier than the effect at other in backward order.

Trait Implementations

impl Clone for EffectIndex

pub fn clone(&self) -> EffectIndex

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for EffectIndex

impl Debug for EffectIndex

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

Formats the value using the given formatter.

impl Eq for EffectIndex

impl PartialEq<EffectIndex> for EffectIndex

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for EffectIndex

impl StructuralPartialEq for EffectIndex