Struct FunctionEffects 

pub struct FunctionEffects {
    pub register: RegisterChannelState,
    pub memory: MemoryChannelState,
}

A function’s full effect summary, one component per side-effect channel: the register-lifecycle state and the memory write-space verdict. Serialized as part of FunctionInterface.

Fields

register: RegisterChannelState

Register-channel lifecycle summary (argpromote v2).

memory: MemoryChannelState

Memory-channel effect summary: the coarse written-space verdict plus the precise RAM footprint.

Implementations

impl FunctionEffects

pub fn materialized(&self) -> Option<&RegisterInterfaceMap>

The materialized register interface mapping, if the register channel has been materialized. Delegates to RegisterChannelState::materialized.

pub fn is_solved(&self) -> bool

Whether the register channel is solved. Delegates to RegisterChannelState::is_solved.

Trait Implementations

impl Clone for FunctionEffects

fn clone(&self) -> FunctionEffects

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionEffects

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

Formats the value using the given formatter.

impl Default for FunctionEffects

fn default() -> FunctionEffects

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FunctionEffects

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for FunctionEffects

impl PartialEq for FunctionEffects

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FunctionEffects

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 FunctionEffects