Type Alias U0

pub type U0 = Const<0>;

Aliased Type

struct U0;

Trait Implementations

impl IsNotStaticOne for U0

impl<const R: usize> Clone for Const<R>

fn clone(&self) -> Const<R>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<const R: usize> Debug for Const<R>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<const T: usize> Dim for Const<T>

fn try_to_usize() -> Option<usize>

Gets the compile-time value of Self. Returns None if it is not known, i.e., if Self = Dyn.

fn value(&self) -> usize

Gets the run-time value of self. For type-level integers, this is the same as Self::try_to_usize().unwrap().

fn from_usize(dim: usize) -> Self

Builds an instance of Self from a run-time value. Panics if Self is a type-level integer and dim != Self::try_to_usize().unwrap().

fn is<D: Dim>() -> bool

impl<const A: usize, const B: usize> DimAdd<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Add<<Const<B> as ToTypenum>::Typenum>, Sum<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn add(self, _: Const<B>) -> Self::Output

impl<const A: usize, const B: usize> DimDiv<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Div<<Const<B> as ToTypenum>::Typenum>, Quot<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn div(self, _: Const<B>) -> Self::Output

impl<const A: usize, const B: usize> DimMax<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Max<<Const<B> as ToTypenum>::Typenum>, Maximum<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn max(self, _: Const<B>) -> Self::Output

impl<const A: usize, const B: usize> DimMin<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Min<<Const<B> as ToTypenum>::Typenum>, Minimum<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn min(self, _: Const<B>) -> Self::Output

impl<const A: usize, const B: usize> DimMul<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Mul<<Const<B> as ToTypenum>::Typenum>, Prod<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn mul(self, _: Const<B>) -> Self::Output

impl<const T: usize> DimName for Const<T>

const USIZE: usize = T

fn name() -> Self

The name of this dimension, i.e., the singleton Self.

fn dim() -> usize

The value of this dimension.

impl<const A: usize, const B: usize> DimNameAdd<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Add<<Const<B> as ToTypenum>::Typenum>, Sum<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn add(self, _: Const<B>) -> Self::Output

impl<const A: usize, const B: usize> DimNameDiv<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Div<<Const<B> as ToTypenum>::Typenum>, Quot<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn div(self, _: Const<B>) -> Self::Output

impl<const A: usize, const B: usize> DimNameMax<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Max<<Const<B> as ToTypenum>::Typenum>, Maximum<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn max(self, _: Const<B>) -> Self::Output

impl<const A: usize, const B: usize> DimNameMin<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Min<<Const<B> as ToTypenum>::Typenum>, Minimum<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn min(self, _: Const<B>) -> Self::Output

impl<const A: usize, const B: usize> DimNameMul<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Mul<<Const<B> as ToTypenum>::Typenum>, Prod<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn mul(self, _: Const<B>) -> Self::Output

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>, Diff<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn sub(self, _: Const<B>) -> Self::Output

impl<const A: usize, const B: usize> DimSub<Const<B>> for Const<A>

where Const<A>: ToTypenum, Const<B>: ToTypenum, <Const<A> as ToTypenum>::Typenum: Sub<<Const<B> as ToTypenum>::Typenum>, Diff<<Const<A> as ToTypenum>::Typenum, <Const<B> as ToTypenum>::Typenum>: ToConst,

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

fn sub(self, _: Const<B>) -> Self::Output

impl<const R: usize> Hash for Const<R>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<const R: usize> PartialEq for Const<R>

fn eq(&self, other: &Const<R>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ToTypenum for Const<0>

type Typenum = UTerm

impl<const R: usize> Copy for Const<R>

impl<const R: usize> Eq for Const<R>

impl<const R: usize> StructuralPartialEq for Const<R>