tasm_lib::rust_shadowing_helper_functions::list

Function list_set

Source 
pub fn list_set(
    list_pointer: BFieldElement,
    index: usize,
    value: Vec<BFieldElement>,
    memory: &mut HashMap<BFieldElement, BFieldElement>,
)
Expand description

Write an element to a list.

Only supports lists with statically sized elements.

ยงPanics

Panics if

  • the index is out of bounds, or
  • the element that is to be read resides outside the list`s memory page, or
  • the pointed-to-list is incorrectly encoded into memory.