Trait Module 

pub trait Module<R>: AbelianGroup
where
    R: Ring,
{
    // Required method
    fn scale(self, scalar: R) -> Self;
}

A module over a ring R — an abelian group with scalar multiplication.

Laws:

• a.scale(R::one()) == a
• a.scale(r).scale(s) == a.scale(r.mul(s))
• a.combine(b).scale(r) == a.scale(r).combine(b.scale(r))
• a.scale(r.add(s)) == a.scale(r).combine(a.scale(s))

Required Methods

fn scale(self, scalar: R) -> 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.

Implementations on Foreign Types

impl Module<f32> for f32

fn scale(self, scalar: f32) -> f32

impl Module<f64> for f64

fn scale(self, scalar: f64) -> f64

impl<F> Module<F> for (F, F)

where F: Field + AbelianGroup,

fn scale(self, scalar: F) -> (F, F)

Implementors