Trait Variable

pub trait Variable<C: Config>: Clone {
    type Expression: From<Self>;

    // Required methods
    fn uninit(builder: &mut Builder<C>) -> Self;
    fn assign(&self, src: Self::Expression, builder: &mut Builder<C>);
    fn assert_eq(
        lhs: impl Into<Self::Expression>,
        rhs: impl Into<Self::Expression>,
        builder: &mut Builder<C>,
    );
    fn assert_ne(
        lhs: impl Into<Self::Expression>,
        rhs: impl Into<Self::Expression>,
        builder: &mut Builder<C>,
    );

    // Provided method
    fn eval(builder: &mut Builder<C>, expr: impl Into<Self::Expression>) -> Self { ... }
}

Required Associated Types

type Expression: From<Self>

Required Methods

fn uninit(builder: &mut Builder<C>) -> Self

fn assign(&self, src: Self::Expression, builder: &mut Builder<C>)

fn assert_eq( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

fn assert_ne( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

Provided Methods

fn eval(builder: &mut Builder<C>, expr: impl Into<Self::Expression>) -> Self

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.

Implementations on Foreign Types

impl<C: Config, T: Variable<C>, const N: usize> Variable<C> for [T; N]

type Expression = [T; N]

fn uninit(builder: &mut Builder<C>) -> Self

fn assign(&self, src: Self::Expression, builder: &mut Builder<C>)

fn assert_eq( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

fn assert_ne( _lhs: impl Into<Self::Expression>, _rhs: impl Into<Self::Expression>, _builder: &mut Builder<C>, )

Implementors

impl<C: Config> Variable<C> for Usize<C::N>

type Expression = SymbolicVar<<C as Config>::N>

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

type Expression = SymbolicExt<<C as Config>::F, <C as Config>::EF>

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

type Expression = SymbolicFelt<<C as Config>::F>

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

type Expression = SymbolicPtr<<C as Config>::N>

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

type Expression = SymbolicVar<<C as Config>::N>

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

type Expression = Array<C, T>

impl<C: Config, T: MemVariable<C>> Variable<C> for Ref<C, T>

type Expression = Ref<C, T>