pub enum ExternalEvent {
DeliverSignal(DeliverSignal),
ChildCompleted(ChildCompleted),
}Expand description
An external event is a fact, not an effect result: a signal can arrive with no pending effect, and a child completes long after its spawn was acknowledged.
No variant carries a host wall clock. The envelope’s observed_at_ms is the only clock the
kernel admits — a result that carries its own Date.now() produces different bytes for the
same intent, which turns idempotent replay into a conflict fault.
Variants§
DeliverSignal(DeliverSignal)
ChildCompleted(ChildCompleted)
Trait Implementations§
Source§impl Clone for ExternalEvent
impl Clone for ExternalEvent
Source§fn clone(&self) -> ExternalEvent
fn clone(&self) -> ExternalEvent
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ExternalEvent
impl Debug for ExternalEvent
Source§impl<'de> Deserialize<'de> for ExternalEvent
impl<'de> Deserialize<'de> for ExternalEvent
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for ExternalEvent
impl PartialEq for ExternalEvent
Source§impl Serialize for ExternalEvent
impl Serialize for ExternalEvent
impl StructuralPartialEq for ExternalEvent
Auto Trait Implementations§
impl Freeze for ExternalEvent
impl RefUnwindSafe for ExternalEvent
impl Send for ExternalEvent
impl Sync for ExternalEvent
impl Unpin for ExternalEvent
impl UnsafeUnpin for ExternalEvent
impl UnwindSafe for ExternalEvent
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more