dlt::dimension

Trait SquareDimension

Source 
pub trait SquareDimension {
    type Output;
}

Required Associated Types§

Source

type Output

Implementors§

Source§

impl<const L: i32, const M: i32, const T: i32, const Θ: i32, const I: i32, const N: i32, const J: i32> SquareDimension for Dimension<L, M, T, Θ, I, N, J>
where (): ConstCheck<{ _ }> + ConstCheck<{ _ }> + ConstCheck<{ _ }> + ConstCheck<{ _ }> + ConstCheck<{ _ }> + ConstCheck<{ _ }> + ConstCheck<{ _ }>,

Source§

type Output = Dimension<{ <() as ConstAdd<L, L>>::OUTPUT }, { <() as ConstAdd<M, M>>::OUTPUT }, { <() as ConstAdd<T, T>>::OUTPUT }, { <() as ConstAdd<Θ, Θ>>::OUTPUT }, { <() as ConstAdd<I, I>>::OUTPUT }, { <() as ConstAdd<N, N>>::OUTPUT }, { <() as ConstAdd<J, J>>::OUTPUT }>