Type Alias nalgebra::base::dimension::U4

pub type U4 = Const<4>;

Aliased Type

struct U4;

Trait Implementations

impl IsNotStaticOne for U4

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<'de, const D: usize> Deserialize<'de> for Const<D>

fn deserialize<Des>(deserializer: Des) -> Result<Self, Des::Error>

where Des: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<const D: usize> Serialize for Const<D>

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl ToTypenum for Const<4>

type Typenum = UInt<UInt<UInt<UTerm, B1>, B0>, B0>

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

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

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