Struct Demand

pub struct Demand<Var: Hash + Eq + Copy, UsePosition, Aux: Clone + Default = ()> {
    pub vars: OrderedHashMap<Var, UsePosition>,
    pub aux: Aux,
}

Demanded variables from a certain point in the flow until the end of the function. Needs to be updates in backwards order.

Fields

vars: OrderedHashMap<Var, UsePosition>

aux: Aux

Implementations

impl<Var: Hash + Eq + Copy, UsePosition: Copy, Aux: Clone + Default + AuxCombine> Demand<Var, UsePosition, Aux>

pub fn finalize(self) -> bool

Finalizes a demand. Returns a boolean representing success - if all the variable demands were satisfied.

pub fn apply_remapping<'a, V: Copy + Into<Var> + 'a, T: DemandReporter<Var, Aux, UsePosition = UsePosition>>( &mut self, reporter: &mut T, remapping: impl DoubleEndedIterator<Item = (&'a V, (&'a V, T::UsePosition))> + ExactSizeIterator, )

Updates the demand when a variable remapping occurs.

pub fn variables_used<'a, V: Copy + Into<Var> + 'a, T: DemandReporter<Var, Aux, UsePosition = UsePosition>>( &mut self, reporter: &mut T, vars: impl DoubleEndedIterator<Item = (&'a V, T::UsePosition)> + ExactSizeIterator, )

Updates the demand when some variables are used right before the current flow.

pub fn variables_introduced<V: Copy + Into<Var>, T: DemandReporter<Var, Aux>>( &mut self, reporter: &mut T, vars: &[V], position: T::IntroducePosition, )

Updates the demand when some variables are introduced right before the current flow.

pub fn merge_demands<T: DemandReporter<Var, Aux>>( demands: &[(Self, T::IntroducePosition)], reporter: &mut T, ) -> Self

Merges Demands from multiple branches into one, reporting diagnostics in the way.

Trait Implementations

impl<Var: Clone + Hash + Eq + Copy, UsePosition: Clone, Aux: Clone + Clone + Default> Clone for Demand<Var, UsePosition, Aux>

fn clone(&self) -> Demand<Var, UsePosition, Aux>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Var: Hash + Eq + Copy, UsePosition, Aux: Clone + Default> Default for Demand<Var, UsePosition, Aux>

fn default() -> Self

Returns the “default value” for a type.