Trait TowerLevelWithArithOps

pub trait TowerLevelWithArithOps<T>: TowerLevel<T>
where
    T: Default + Add<Output = T> + AddAssign + Copy,
{
    // Provided methods
    fn add_into(field_element: &Self::Data, destination: &mut Self::Data) { ... }
    fn copy_into(field_element: &Self::Data, destination: &mut Self::Data) { ... }
    fn sum(
        field_element_a: &Self::Data,
        field_element_b: &Self::Data,
    ) -> Self::Data { ... }
}

Provided Methods

fn add_into(field_element: &Self::Data, destination: &mut Self::Data)

fn copy_into(field_element: &Self::Data, destination: &mut Self::Data)

fn sum(field_element_a: &Self::Data, field_element_b: &Self::Data) -> Self::Data

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

impl<T, U: TowerLevel<T>> TowerLevelWithArithOps<T> for U

where T: Default + Add<Output = T> + AddAssign + Copy,