binius_math

Trait EvaluationDomainFactory

Source 
pub trait EvaluationDomainFactory<DomainField: Field>: Clone + Sync {
    // Required method
    fn create(
        &self,
        size: usize,
    ) -> Result<EvaluationDomain<DomainField>, Error>;
}
Expand description

Wraps type information to enable instantiating EvaluationDomains.

Required Methods§

Source

fn create(&self, size: usize) -> Result<EvaluationDomain<DomainField>, Error>

Instantiates an EvaluationDomain from a set of points isomorphic to direct lexicographic successors of zero in Fan-Paar tower

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§

Source§

impl<'a, DomainField: Field, T: 'a + EvaluationDomainFactory<DomainField> + ?Sized> EvaluationDomainFactory<DomainField> for &'a T
where &'a T: Clone + Sync,

Source§

fn create(&self, size: usize) -> Result<EvaluationDomain<DomainField>, Error>

Implementors§