Enum Effect 

pub enum Effect {
    Write {
        region: Region,
        off: i32,
        val: ValueClass,
    },
    Read {
        region: Region,
        off: i32,
    },
    NewRegion(Region),
    Call(CallTarget),
    Syscall(u32),
    Branch,
    Ret(ValueClass),
    Capped,
}

One observable thing the function did. Order matters.

Variants

Write

wrote val into region at a bucketed offset

Fields

region: Region

off: i32

val: ValueClass

Read

read a distinct field (region + offset). recorded once per field, so it captures the set of struct fields a function touches, not every access.

Fields

region: Region

off: i32

NewRegion(Region)

first touch of a fresh region (shape signal: how many buffers it walks)

Call(CallTarget)

Syscall(u32)

Branch

a conditional branch happened here. we don’t keep the outcome, just that the function has a decision point at this point in the effect stream.

Ret(ValueClass)

Capped

run hit a cap (loop/instr/time). still a usable partial.

Implementations

impl Effect

pub fn token(&self) -> u64

Stable token for this effect. FNV-1a by hand so it does not depend on std’s hasher, which is not stable across toolchains. Same effect -> same u64 forever, which is what the on-disk fingerprints rely on.

Trait Implementations

impl Clone for Effect

fn clone(&self) -> Effect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Effect

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Effect

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Effect

impl PartialEq for Effect

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Effect

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Effect