Enum sp1_recursion_compiler::ir::Usize

pub enum Usize<N> {
    Const(usize),
    Var(Var<N>),
}

A variable that represents either a constant or variable counter.

Variants

Const(usize)

Var(Var<N>)

Implementations

impl<N: Field> Usize<N>

pub fn value(&self) -> usize

pub fn materialize<C: Config<N = N>>( &self, builder: &mut Builder<C>, ) -> Var<C::N>

Trait Implementations

impl<N: Field> Add<SymbolicVar<N>> for Usize<N>

type Output = SymbolicVar<N>

The resulting type after applying the + operator.

fn add(self, rhs: SymbolicVar<N>) -> Self::Output

Performs the + operation.

impl<N: Field> Add<Usize<N>> for Ptr<N>

type Output = SymbolicPtr<N>

The resulting type after applying the + operator.

fn add(self, rhs: Usize<N>) -> SymbolicPtr<N>

Performs the + operation.

impl<N: Field> Add<Usize<N>> for SymbolicPtr<N>

type Output = SymbolicPtr<N>

The resulting type after applying the + operator.

fn add(self, rhs: Usize<N>) -> SymbolicPtr<N>

Performs the + operation.

impl<N: Field> Add<Usize<N>> for SymbolicUsize<N>

type Output = SymbolicUsize<N>

The resulting type after applying the + operator.

fn add(self, rhs: Usize<N>) -> Self::Output

Performs the + operation.

impl<N: Field> Add<Usize<N>> for SymbolicVar<N>

type Output = SymbolicVar<N>

The resulting type after applying the + operator.

fn add(self, rhs: Usize<N>) -> Self::Output

Performs the + operation.

impl<N: Field> Add<Usize<N>> for Var<N>

type Output = SymbolicVar<N>

The resulting type after applying the + operator.

fn add(self, rhs: Usize<N>) -> Self::Output

Performs the + operation.

impl<N: Field> Add<Var<N>> for Usize<N>

type Output = SymbolicVar<N>

The resulting type after applying the + operator.

fn add(self, rhs: Var<N>) -> Self::Output

Performs the + operation.

impl<N: Field> Add<usize> for Usize<N>

type Output = SymbolicUsize<N>

The resulting type after applying the + operator.

fn add(self, rhs: usize) -> Self::Output

Performs the + operation.

impl<N: Field> Add for Usize<N>

type Output = SymbolicUsize<N>

The resulting type after applying the + operator.

fn add(self, rhs: Usize<N>) -> Self::Output

Performs the + operation.

impl<N: Clone> Clone for Usize<N>

fn clone(&self) -> Usize<N>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<N: Debug> Debug for Usize<N>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<N: Field> From<Usize<N>> for SymbolicUsize<N>

fn from(n: Usize<N>) -> Self

Converts to this type from the input type.

impl<N: Field> From<Usize<N>> for SymbolicVar<N>

fn from(value: Usize<N>) -> Self

Converts to this type from the input type.

impl<N> From<Var<N>> for Usize<N>

fn from(v: Var<N>) -> Self

Converts to this type from the input type.

impl<N> From<usize> for Usize<N>

fn from(c: usize) -> Self

Converts to this type from the input type.

impl<N: Hash> Hash for Usize<N>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<N: Field> Mul<usize> for Usize<N>

type Output = SymbolicVar<N>

The resulting type after applying the * operator.

fn mul(self, rhs: usize) -> Self::Output

Performs the * operation.

impl<N: PartialEq> PartialEq for Usize<N>

fn eq(&self, other: &Usize<N>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<N: Field> Sub<SymbolicVar<N>> for Usize<N>

type Output = SymbolicVar<N>

The resulting type after applying the - operator.

fn sub(self, rhs: SymbolicVar<N>) -> Self::Output

Performs the - operation.

impl<N: Field> Sub<Usize<N>> for Ptr<N>

type Output = SymbolicPtr<N>

The resulting type after applying the - operator.

fn sub(self, rhs: Usize<N>) -> SymbolicPtr<N>

Performs the - operation.

impl<N: Field> Sub<Usize<N>> for SymbolicPtr<N>

type Output = SymbolicPtr<N>

The resulting type after applying the - operator.

fn sub(self, rhs: Usize<N>) -> SymbolicPtr<N>

Performs the - operation.

impl<N: Field> Sub<Usize<N>> for SymbolicUsize<N>

type Output = SymbolicUsize<N>

The resulting type after applying the - operator.

fn sub(self, rhs: Usize<N>) -> Self::Output

Performs the - operation.

impl<N: Field> Sub<Usize<N>> for SymbolicVar<N>

type Output = SymbolicVar<N>

The resulting type after applying the - operator.

fn sub(self, rhs: Usize<N>) -> Self::Output

Performs the - operation.

impl<N: Field> Sub<Usize<N>> for Var<N>

type Output = SymbolicVar<N>

The resulting type after applying the - operator.

fn sub(self, rhs: Usize<N>) -> Self::Output

Performs the - operation.

impl<N: Field> Sub<Var<N>> for Usize<N>

type Output = SymbolicVar<N>

The resulting type after applying the - operator.

fn sub(self, rhs: Var<N>) -> Self::Output

Performs the - operation.

impl<N: Field> Sub<usize> for Usize<N>

type Output = SymbolicUsize<N>

The resulting type after applying the - operator.

fn sub(self, rhs: usize) -> Self::Output

Performs the - operation.

impl<N: Field> Sub for Usize<N>

type Output = SymbolicUsize<N>

The resulting type after applying the - operator.

fn sub(self, rhs: Usize<N>) -> Self::Output

Performs the - operation.

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

type Expression = SymbolicUsize<<C as Config>::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>, )

impl<N: Copy> Copy for Usize<N>

impl<N: Eq> Eq for Usize<N>

impl<N> StructuralPartialEq for Usize<N>