Trait LeftModule 

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

A trait representing a left module over a ring.

A left 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 left.

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

type Ring = Boolean

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

type Ring = F

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

where [(); { _ }]:,

type Ring = F

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

type Ring = R

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

type Ring = F