Struct miden_processor::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 fn new(values: Vec<BaseElement, Global>) -> StackInputs

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

pub fn try_from_values<I>(iter: I) -> Result<StackInputs, InputError>where I: IntoIterator<Item = u64>,

Attempts to create stack inputs from an iterator of numbers, failing if they do not represent a valid field element.

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<'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, Global>

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, Global>

Serializes self into a vector of bytes.

fn write_batch_into<W>(source: &[Self], target: &mut W)where W: ByteWriter,

Serializes all elements of the source and writes these bytes into the target.

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, Global>