Struct FnEffects 

pub(super) struct FnEffects {
    pub reads: Vec<StateSet>,
    pub writes: Vec<bool>,
}

Every function’s reads and writes, including those of the functions it calls.

Fields

reads: Vec<StateSet>

writes: Vec<bool>

Implementations

impl FnEffects

pub(super) fn solve(direct: &[Effects]) -> Self

Propagates effects along calls until nothing changes.

pub(super) fn total(&self, effects: &Effects) -> (StateSet, bool)

The full reads and whether anything is written, for code with effects.

Trait Implementations

impl Debug for FnEffects

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

Formats the value using the given formatter.

impl Default for FnEffects

fn default() -> FnEffects

Returns the “default value” for a type.