pub enum ExecutionResult {
Completed(KindedSlot),
Suspended {
future_id: u64,
resume_ip: usize,
},
}Expand description
Result of VM execution.
Wave-β R-misc migration (per ADR-006 §2.7 / Q7 + playbook §10
E-execution row): the Completed variant carries a KindedSlot —
the canonical post-ValueWord runtime-value carrier (raw bits +
parallel NativeKind). Hosts that previously called methods on the
returned ValueWord (e.g. as_number_coerce, as_i64, as_str)
must dispatch on result.kind() and use the per-variant
KindedSlot::as_* accessors per §2.7.6.
Variants§
Completed(KindedSlot)
Execution completed normally with a typed value carrier.
Suspended
Execution suspended waiting for a future to resolve
Trait Implementations§
Source§impl Clone for ExecutionResult
impl Clone for ExecutionResult
Auto Trait Implementations§
impl Freeze for ExecutionResult
impl RefUnwindSafe for ExecutionResult
impl Send for ExecutionResult
impl Sync for ExecutionResult
impl Unpin for ExecutionResult
impl UnsafeUnpin for ExecutionResult
impl UnwindSafe for ExecutionResult
Blanket Implementations§
impl<T> Allocation for T
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more