Trait sp1_recursion_compiler::ir::FromConstant

pub trait FromConstant<C: Config> {
    type Constant;

    // Required method
    fn constant(value: Self::Constant, builder: &mut Builder<C>) -> Self;
}

Required Associated Types

type Constant

Required Methods

fn constant(value: Self::Constant, builder: &mut Builder<C>) -> Self

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<C: Config, V: FromConstant<C> + MemVariable<C>> FromConstant<C> for Vec<V>

type Constant = Vec<<V as FromConstant<C>>::Constant>

fn constant(value: Self::Constant, builder: &mut Builder<C>) -> Self

impl<C: Config, V: FromConstant<C> + MemVariable<C>, const N: usize> FromConstant<C> for [V; N]

type Constant = [<V as FromConstant<C>>::Constant; N]

fn constant(value: Self::Constant, builder: &mut Builder<C>) -> Self

Implementors

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

type Constant = <C as Config>::EF

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

type Constant = <C as Config>::F

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

type Constant = <C as Config>::N

impl<C: Config, V: FromConstant<C> + MemVariable<C>> FromConstant<C> for Array<C, V>

type Constant = Vec<<V as FromConstant<C>>::Constant>