Struct EffectTraceEntry 

pub struct EffectTraceEntry {
    pub effect_id: u64,
    pub effect_kind: String,
    pub inputs: Value,
    pub outputs: Value,
    pub handler_identity: String,
    pub effect_interface: Option<String>,
    pub effect_operation: Option<String>,
    pub ordering_key: u64,
    pub topology: Option<TopologyPerturbation>,
}

Effect-trace entry for replay and determinism checks.

Fields

effect_id: u64

Monotonic effect identifier within one runtime.

effect_kind: String

Effect kind tag (send_decision, handle_recv, invoke_step, …).

inputs: Value

Serialized effect input payload.

outputs: Value

Serialized effect output payload.

handler_identity: String

Stable identity of the handler implementation.

effect_interface: Option<String>

Optional nominal interface classification for this effect.

effect_operation: Option<String>

Optional nominal operation classification for this effect.

ordering_key: u64

Deterministic ordering key used in replay comparisons.

topology: Option<TopologyPerturbation>

Optional topology perturbation payload.

Trait Implementations

impl Clone for EffectTraceEntry

fn clone(&self) -> EffectTraceEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectTraceEntry

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EffectTraceEntry

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for EffectTraceEntry

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for EffectTraceEntry

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 EffectTraceEntry