Struct DequeueNextAs

pub struct DequeueNextAs {
    pub proof_item: ProofItemVariant,
}

Reads a proof item of the supplied type from the ProofStream. Crashes Triton VM if the proof item is not of the expected type. Updates an internal pointer to the next proof item.

Fields

proof_item: ProofItemVariant

Implementations

impl DequeueNextAs

pub fn new(proof_item: ProofItemVariant) -> Self

Trait Implementations

impl BasicSnippet for DequeueNextAs

fn code(&self, library: &mut Library) -> Vec<LabelledInstruction>

BEFORE: _ *vm_proof_iter
AFTER:  _ *proof_item_payload

fn inputs(&self) -> Vec<(DataType, String)>

fn outputs(&self) -> Vec<(DataType, String)>

fn entrypoint(&self) -> String

fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>

fn link_for_isolated_run(&self) -> Vec<LabelledInstruction>

fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>

Intial stack on program start, when the snippet runs in isolation.

fn stack_diff(&self) -> isize

impl Clone for DequeueNextAs

fn clone(&self) -> DequeueNextAs

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DequeueNextAs

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

Formats the value using the given formatter.

impl PartialEq for DequeueNextAs

fn eq(&self, other: &DequeueNextAs) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for DequeueNextAs

impl Eq for DequeueNextAs

impl StructuralPartialEq for DequeueNextAs