Trait na::DimNameSub

source · [−]

pub trait DimNameSub<D>: DimName where
    D: DimName, {
    type Output: DimName;

    fn sub(self, other: D) -> Self::Output;
}

Required Associated Types

type Output: DimName

Required Methods

fn sub(self, other: D) -> Self::Output

Implementors

impl<const A: usize, const B: usize> DimNameSub<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Sub<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Sub<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst,

type Output = <<<Const<A> as ToTypenum>::Typenum as Sub<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const