Trait Module 

pub trait Module<S: Ring>:
    AdditiveGroup
    + Mul<S, Output = Self>
    + Copy {
    type LinearEndo: LinearMap<S, Self, Self> + Ring;
}

Additive group combined with scalar multiplication

Required Associated Types

type LinearEndo: LinearMap<S, Self, Self> + Ring

Linear endomorphism represented by a square matrix type

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.

Implementations on Foreign Types

impl Module<f32> for f32

type LinearEndo = f32

impl Module<f64> for f64

type LinearEndo = f64

impl<U> Module<FixedI8<U>> for FixedI8<U>

where U: Unsigned + IsLessOrEqual<U6, Output = True> + IsLessOrEqual<U5, Output = True> + LtU8,

type LinearEndo = FixedI8<U>

impl<U> Module<FixedI16<U>> for FixedI16<U>

where U: Unsigned + IsLessOrEqual<U14, Output = True> + IsLessOrEqual<U13, Output = True> + LtU16,

type LinearEndo = FixedI16<U>

impl<U> Module<FixedI32<U>> for FixedI32<U>

where U: Unsigned + IsLessOrEqual<U30, Output = True> + IsLessOrEqual<U29, Output = True> + LtU32,

type LinearEndo = FixedI32<U>

impl<U> Module<FixedI64<U>> for FixedI64<U>

where U: Unsigned + IsLessOrEqual<U62, Output = True> + IsLessOrEqual<U61, Output = True> + LtU64,

type LinearEndo = FixedI64<U>

Implementors

impl<S> Module<S> for Vector2<S>

where S: Ring + MulAdd,

type LinearEndo = Mat2<S>

impl<S> Module<S> for Vector3<S>

where S: Ring + MulAdd,

type LinearEndo = Mat3<S>

impl<S> Module<S> for Vector4<S>

where S: Ring + MulAdd,

type LinearEndo = Mat4<S>

impl<S, U> Module<S> for Displacement2<S, U>

where S: Ring, Vector2<S>: Module<S>,

type LinearEndo = Transform2<S, U, U>

impl<S, U> Module<S> for Displacement3<S, U>

where S: Ring, Vector3<S>: Module<S>,

type LinearEndo = Transform3<S, U, U>

impl<S, U> Module<S> for Displacement4<S, U>

where S: Ring, Vector4<S>: Module<S>,

type LinearEndo = Transform4<S, U, U>