Trait TwoSidedModule 

pub trait TwoSidedModule: LeftModule + RightModule {
    type Ring: Ring;
}

A trait representing a two-sided module over a ring.

A two-sided 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 both the left and 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 TwoSidedModule for Boolean

type Ring = Boolean

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

type Ring = F

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

where [(); { _ }]:,

type Ring = F

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

type Ring = R

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

type Ring = F