Enum tasm_lib::list::higher_order::inner_function::InnerFunction

pub enum InnerFunction {
    RawCode(RawCode),
    Snippet(Box<dyn Snippet>),
    NoFunctionBody(NoFunctionBody),
}

Variants

RawCode(RawCode)

Snippet(Box<dyn Snippet>)

NoFunctionBody(NoFunctionBody)

Implementations

impl InnerFunction

pub fn get_input_types(&self) -> Vec<DataType>

Return the input types this inner function accepts

pub fn input_list_element_type(&self) -> DataType

Return the expected type of list element this function accepts

pub fn additional_inputs(&self) -> Vec<DataType>

Return all input types apart from the element type of the input list. May be the empty list.

pub fn size_of_additional_inputs(&self) -> usize

Return the size in words for the additional elements, all elements apart from the element from the input list.

pub fn get_output_types(&self) -> Vec<DataType>

Return types this function outputs.

pub fn entrypoint(&self) -> String

Return the entrypoint, label, of the inner function. Used to make a call to this function.

pub fn rust_shadowing( &self, std_in: &[BFieldElement], secret_in: &[BFieldElement], stack: &mut Vec<BFieldElement>, memory: &mut HashMap<BFieldElement, BFieldElement> )

For testing purposes, this function can mirror what the TASM code does.