Trait MemVariable

pub trait MemVariable<C: Config>: Variable<C> {
    // Required methods
    fn size_of() -> usize;
    fn load(
        &self,
        ptr: Ptr<C::N>,
        index: MemIndex<C::N>,
        builder: &mut Builder<C>,
    );
    fn store(
        &self,
        ptr: Ptr<C::N>,
        index: MemIndex<C::N>,
        builder: &mut Builder<C>,
    );
}

Required Methods

fn size_of() -> usize

fn load(&self, ptr: Ptr<C::N>, index: MemIndex<C::N>, builder: &mut Builder<C>)

Loads the variable from the heap.

fn store(&self, ptr: Ptr<C::N>, index: MemIndex<C::N>, builder: &mut Builder<C>)

Stores the variable to the heap.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<C: Config> MemVariable<C> for Ext<C::F, C::EF>

impl<C: Config> MemVariable<C> for Felt<C::F>

impl<C: Config> MemVariable<C> for FriFoldInput<C>

impl<C: Config> MemVariable<C> for Ptr<C::N>

impl<C: Config> MemVariable<C> for Var<C::N>

impl<C: Config, T: MemVariable<C>> MemVariable<C> for Array<C, T>