Struct tasm_lib::list::higher_order::zip::Zip

pub struct Zip {
    pub list_type: ListType,
    pub left_type: DataType,
    pub right_type: DataType,
}

Zips two lists of equal length, returning a new list of pairs of elements.

Fields

list_type: ListType

left_type: DataType

right_type: DataType

Trait Implementations

impl Snippet for Zip

fn entrypoint(&self) -> String

The name of a Snippet

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

The input stack

fn input_types(&self) -> Vec<DataType>

fn output_types(&self) -> Vec<DataType>

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

The output stack

fn stack_diff(&self) -> isize

The stack difference

fn function_code(&self, library: &mut SnippetState) -> String

The function

fn crash_conditions(&self) -> Vec<String>

Ways in which this snippet can crash at runtime

fn gen_input_states(&self) -> Vec<ExecutionState>

Examples of valid initial states for running this snippet

fn common_case_input_state(&self) -> ExecutionState

fn worst_case_input_state(&self) -> ExecutionState

fn rust_shadowing( &self, stack: &mut Vec<BFieldElement>, _std_in: Vec<BFieldElement>, _secret_in: Vec<BFieldElement>, memory: &mut HashMap<BFieldElement, BFieldElement> )

fn function_code_as_instructions( &self, library: &mut SnippetState ) -> Vec<LabelledInstruction>

fn link_for_isolated_run(&self, words_statically_allocated: usize) -> String

fn link_and_run_tasm_for_test( &self, stack: &mut Vec<BFieldElement>, std_in: Vec<BFieldElement>, secret_in: Vec<BFieldElement>, memory: &mut HashMap<BFieldElement, BFieldElement>, words_statically_allocated: usize ) -> VmOutputState

fn link_and_run_tasm_for_bench( &self, stack: &mut Vec<BFieldElement>, std_in: Vec<BFieldElement>, secret_in: Vec<BFieldElement>, memory: &mut HashMap<BFieldElement, BFieldElement>, words_statically_allocated: usize ) -> Result<ExecutionResult>

fn link_and_run_tasm_from_state_for_test( &self, execution_state: &mut ExecutionState ) -> VmOutputState

fn link_and_run_tasm_from_state_for_bench( &self, execution_state: &mut ExecutionState ) -> Result<ExecutionResult>