Trait RMod 

pub trait RMod:
    AddGrp
    + RModOps<Self::R, Self>
    + MulAssign<Self::R>
    + for<'a> MulAssign<&'a Self::R>
where
    Self::R: Ring,
    for<'x> &'x Self::R: RingOps<Self::R>,
    for<'a> &'a Self: RModOps<Self::R, Self>,
{
    type R;
}

A (left) module over a ring R = Self::R: an AddGrp with a distributive, associative scalar action r · m (for r ∈ R, m ∈ Self).

See: https://en.wikipedia.org/wiki/Module_(mathematics)

Required Associated Types

type R

The scalar ring.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<X, R> RMod for Lc<X, R>

where X: LcKey, R: Ring, for<'x> &'x R: RingOps<R>,

type R = R