Trait wedged::base::alloc::AllocSimpleBlade

pub trait AllocSimpleBlade<N: Dim, G: Dim>: AllocBlade<N, G> { }

Marks if a Blade of a given dimension and grade is guaranteed to always be simple

This trait is implemented for scalars, vectors, psuedovectors, and psuedoscalars by bounding the grade to be 0, 1, N, or N-1.

It is used in a number of locations to allow for certain operations that are only possible with simple blades, ie mutating SimpleBlades, projecting onto a Blade, etc.

At the moment, the implementation uses typenum expressions to determine type eligibility, which may be lead to some provability issues when using generic types, especially for psuedoscalars and psuedovectors. However, this will be simplified dramatically once the #[feature(marker_trait_attr)] is stabilized,

Implementors

impl<T: AllocBlade<Dynamic, Const<0>>> AllocSimpleBlade<Dynamic, Const<0_usize>> for T

impl<T: AllocBlade<Dynamic, Const<1>>> AllocSimpleBlade<Dynamic, Const<1_usize>> for T

impl<T: AllocBlade<N, G>, N: Dim, G: Dim> AllocSimpleBlade<N, G> for T where
    N: DimName + ToTypenum,
    G: DimName + ToTypenum,
    G::Typenum: Add<U1> + IsLessOrEqual<U1>,
    N::Typenum: IsLessOrEqual<Sum<G::Typenum, U1>>,
    LeEq<G::Typenum, U1>: BitOr<LeEq<N::Typenum, Sum<G::Typenum, U1>>, Output = True>,