Trait PushStack 

pub trait PushStack<T> {
    // Required method
    fn push(&mut self, value: T);
}

Low-level typed insertion into logical stack storage.

To be implemented by vihaco’s execution storage. Component authors return PushToStack effects instead of implementing stack insertion. This public extension point also permits custom storage implementations.

Each insertion adds exactly one value above existing values. Word-backed implementations encode floats with [vihaco_abi::word::encode_f32] and [vihaco_abi::word::encode_f64]; a later cached representation can retain native floating-point values instead. Floating-point insertion must preserve exact IEEE-754 bits.

Required Methods

fn push(&mut self, value: T)

Insert one value in this representation.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors