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".

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

impl<P, R, T> Module<R> for Proven<P, T>

where R: Ring, T: Module<R>,