Struct miden_objects::vm::StackInputs

pub struct StackInputs { /* private fields */ }

Initial state of the stack to support program execution.

The program execution expects the inputs to be a stack on the VM, and it will be stored in reversed order on this struct.

Implementations

impl StackInputs

pub const MAX_LEN: usize = 65_535usize

pub fn new(values: Vec<BaseElement>) -> Result<StackInputs, InputError>

Returns StackInputs from a list of values, reversing them into a stack.

Errors

Returns an error if the number of input values exceeds the allowed maximum.

pub fn try_from_ints<I>(iter: I) -> Result<StackInputs, InputError>

where I: IntoIterator<Item = u64>,

Attempts to create stack inputs from an iterator of integers.

Errors

Returns an error if:

• The values do not represent a valid field element.
• Number of values in the iterator exceeds the allowed maximum number of input values.

pub fn values(&self) -> &[BaseElement]

Returns the initial stack values in stack/reversed order.

Trait Implementations

impl Clone for StackInputs

fn clone(&self) -> StackInputs

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StackInputs

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

Formats the value using the given formatter.

impl Default for StackInputs

fn default() -> StackInputs

Returns the “default value” for a type.

impl Deserializable for StackInputs

fn read_from<R>(source: &mut R) -> Result<StackInputs, DeserializationError>

where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl<'a> IntoIterator for &'a StackInputs

type Item = &'a BaseElement

The type of the elements being iterated over.

type IntoIter = Iter<'a, BaseElement>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <&'a StackInputs as IntoIterator>::IntoIter

Creates an iterator from a value.

impl IntoIterator for StackInputs

type Item = BaseElement

The type of the elements being iterated over.

type IntoIter = IntoIter<BaseElement>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <StackInputs as IntoIterator>::IntoIter

Creates an iterator from a value.

impl Serializable for StackInputs

fn write_into<W>(&self, target: &mut W)

where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl ToElements<BaseElement> for StackInputs

fn to_elements(&self) -> Vec<BaseElement>