openvm_native_compiler::ir

Trait FromConstant

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

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

Required Associated Types§

Required Methods§

Source

fn constant(value: Self::Constant, builder: &mut Builder<C>) -> 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.

Implementors§

Source§

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

Source§

type Constant = <C as Config>::EF

Source§

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

Source§

type Constant = <C as Config>::F

Source§

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

Source§

type Constant = <C as Config>::N

Source§

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

Source§

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