Struct EffectSet 

pub struct EffectSet {
    pub reads: HashSet<Symbol>,
    pub writes: HashSet<Symbol>,
    pub allocates: bool,
    pub io: bool,
    pub security_check: bool,
    pub diverges: bool,
    pub unknown: bool,
    pub nondet: bool,
    pub concurrent: bool,
}

Effect classification for expressions, statements, and functions.

Effects form a lattice: Pure ⊂ Read ⊂ Write ⊂ IO ⊂ Unknown. Each EffectSet tracks the precise set of variables read/written, plus boolean flags for allocation, IO, security checks, divergence, and unknown (escape blocks).

Fields

reads: HashSet<Symbol>

writes: HashSet<Symbol>

allocates: bool

io: bool

security_check: bool

diverges: bool

unknown: bool

nondet: bool

Nondeterministic choice — Select, Try* (depends on instantaneous buffer state), and cooperative StopTask. The outcome is not a function of the inputs, so a function carrying one must never be specialized on a static argument.

concurrent: bool

Spawns or communicates across a concurrency boundary — LaunchTask, CreatePipe, Spawn, and the networking statements. Opaque to the partial evaluator.

Implementations

impl EffectSet

pub fn pure() -> Self

pub fn read(sym: Symbol) -> Self

pub fn write(sym: Symbol) -> Self

pub fn io() -> Self

pub fn alloc() -> Self

pub fn unknown() -> Self

pub fn nondet() -> Self

pub fn concurrent() -> Self

pub fn is_pure(&self) -> bool

pub fn join(&mut self, other: &EffectSet)

Join two EffectSets (union of all effects).

Trait Implementations

impl Clone for EffectSet

fn clone(&self) -> EffectSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectSet

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

Formats the value using the given formatter.

impl Default for EffectSet

fn default() -> EffectSet

Returns the “default value” for a type.