Trait Module 

pub trait Module<R: Ring>: AbelianGroup {
    // 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) -> Self

impl Module<f64> for f64

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

impl<F: Field + AbelianGroup> Module<F> for (F, F)

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

Implementors