Trait ProjectableToField 

pub trait ProjectableToField<F: FieldConfig> {
    // Required method
    fn prepare_projection(
        cfg: &F,
        sampled_value: &F::Element,
    ) -> impl Fn(&Self) -> F::Element + Send + Sync;
}

Trait for preparing a projection function to a field element from a current type.

Required Methods

fn prepare_projection( cfg: &F, sampled_value: &F::Element, ) -> impl Fn(&Self) -> F::Element + Send + Sync

Prepare a projection function that will project the current type to a prime field using the given config and sampled value.

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<Mod: ConstMontyParams<LIMBS>, const LIMBS: usize, const LIMBS2: usize> ProjectableToField<FixedConfig<ConstMontyField<Mod, LIMBS>>> for Int<LIMBS2>

fn prepare_projection( _cfg: &FixedConfig<ConstMontyField<Mod, LIMBS>>, _sampled_value: &ConstMontyField<Mod, LIMBS>, ) -> impl Fn(&Self) -> ConstMontyField<Mod, LIMBS>

Implementors

impl<T> ProjectableToField<BoxedMontyField> for T

where BoxedMontyField: ProjectElementWithConfig<T>,

impl<T, const LIMBS: usize> ProjectableToField<MontyField<LIMBS>> for T

where MontyField<LIMBS>: ProjectElementWithConfig<T>,