Trait Module

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

Additive group combined with scalar multiplication

Required Associated Types

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

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, U> Module<S> for Displacement2<S, U>

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

type LinearEndo = Transform2<S, U, U>

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

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

type LinearEndo = Transform3<S, U, U>

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

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

type LinearEndo = Transform4<S, U, U>

impl<S: Ring> Module<S> for Vector2<S>

type LinearEndo = Mat2<S>

impl<S: Ring> Module<S> for Vector3<S>

type LinearEndo = Mat3<S>

impl<S: Ring> Module<S> for Vector4<S>

type LinearEndo = Mat4<S>