Trait RightModule 

pub trait RightModule: AbelianGroup
where
    Self::Ring: Mul<Self>,
{
    type Ring: Ring;
}

A trait representing a right module over a ring.

A right module is a generalization of a vector space, where the scalars lie in a ring rather than a field. This trait combines the requirements for an Abelian group with scalar multiplication by elements of the ring on the right.

Required Associated Types

type Ring: Ring

The ring over which this module is defined.

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 RightModule for Boolean

type Ring = Boolean

impl<F: Field + Copy + Mul<Self>> RightModule for DynamicVector<F>

type Ring = F

impl<F: Field + Copy + Debug + Mul<Self>, const N: usize> RightModule for CliffordAlgebraElement<'_, F, N>

where [(); { _ }]:,

type Ring = F

impl<R: Ring + Mul<Self>> RightModule for TrivialModule<R>

type Ring = R

impl<const M: usize, F: Field + Copy + Mul<Self>> RightModule for FixedVector<M, F>

type Ring = F