Struct Effects 

pub(super) struct Effects {
    pub reads: StateSet,
    pub writes: bool,
    pub calls: BTreeSet<FnId>,
}

State reads and writes seen so far, and the functions called (whose effects count too).

Fields

reads: StateSet

writes: bool

calls: BTreeSet<FnId>

Implementations

impl Effects

pub(super) fn merge(&mut self, other: &Self)

Trait Implementations

impl Debug for Effects

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

Formats the value using the given formatter.

impl Default for Effects

fn default() -> Effects

Returns the “default value” for a type.