Struct nyx_space::linalg::Const

pub struct Const<const R: usize>;

Trait Implementations

impl<T, const R: usize, const C: usize> Allocator<T, Const<R>, Const<C>> for DefaultAllocator where
    T: Scalar, 

type Buffer = ArrayStorage<T, R, C>

The type of buffer this allocator can instanciate.

type BufferUninit = ArrayStorage<MaybeUninit<T>, R, C>

The type of buffer with uninitialized components this allocator can instanciate.

fn allocate_uninit(Const<R>, Const<C>) -> ArrayStorage<MaybeUninit<T>, R, C>

Allocates a buffer with the given number of rows and columns without initializing its content.

unsafe fn assume_init(
    uninit: ArrayStorage<MaybeUninit<T>, R, C>
) -> ArrayStorage<T, R, C>

Assumes a data buffer to be initialized.

fn allocate_from_iterator<I>(
    nrows: Const<R>,
    ncols: Const<C>,
    iter: I
) -> <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer where
    I: IntoIterator<Item = T>, 

Allocates a buffer initialized with the content of the given iterator.

fn allocate_from_row_iterator<I>(nrows: R, ncols: C, iter: I) -> Self::Buffer where
    I: IntoIterator<Item = T>, 

Allocates a buffer initialized with the content of the given row-major order iterator.

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<(), Error>

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 = Dynamic.

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) -> Const<T>

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>() -> bool where
    D: Dim, 

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

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

fn add(self, Const<B>) -> <Const<A> as DimAdd<Const<B>>>::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>,
    <<Const<A> as ToTypenum>::Typenum as Div<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

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

fn div(self, Const<B>) -> <Const<A> as DimDiv<Const<B>>>::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>,
    <<Const<A> as ToTypenum>::Typenum as Max<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

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

fn max(self, Const<B>) -> <Const<A> as DimMax<Const<B>>>::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>,
    <<Const<A> as ToTypenum>::Typenum as Min<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

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

fn min(self, Const<B>) -> <Const<A> as DimMin<Const<B>>>::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>,
    <<Const<A> as ToTypenum>::Typenum as Mul<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

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

fn mul(self, Const<B>) -> <Const<A> as DimMul<Const<B>>>::Output

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

const USIZE: usize = T

fn name() -> Const<T>

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

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

fn add(self, Const<B>) -> <Const<A> as DimNameAdd<Const<B>>>::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>,
    <<Const<A> as ToTypenum>::Typenum as Div<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

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

fn div(self, Const<B>) -> <Const<A> as DimNameDiv<Const<B>>>::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>,
    <<Const<A> as ToTypenum>::Typenum as Max<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

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

fn max(self, Const<B>) -> <Const<A> as DimNameMax<Const<B>>>::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>,
    <<Const<A> as ToTypenum>::Typenum as Min<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

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

fn min(self, Const<B>) -> <Const<A> as DimNameMin<Const<B>>>::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>,
    <<Const<A> as ToTypenum>::Typenum as Mul<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

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

fn mul(self, Const<B>) -> <Const<A> as DimNameMul<Const<B>>>::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>,
    <<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

fn sub(self, Const<B>) -> <Const<A> as DimNameSub<Const<B>>>::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>,
    <<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

fn sub(self, Const<B>) -> <Const<A> as DimSub<Const<B>>>::Output

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

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl<const R: usize> PartialEq<Const<R>> 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 !=.

impl<T, const R: usize, const C: usize> RawStorage<T, Const<R>, Const<C>> for ArrayStorage<T, R, C>

type RStride = Const<1>

The static stride of this storage’s rows.

type CStride = Const<R>

The static stride of this storage’s columns.

fn ptr(&self) -> *const T

The matrix data pointer.

fn shape(&self) -> (Const<R>, Const<C>)

The dimension of the matrix at run-time. Arr length of zero indicates the additive identity element of any dimension. Must be equal to Self::dimension() if it is not None.

fn strides(
    &self
) -> (<ArrayStorage<T, R, C> as RawStorage<T, Const<R>, Const<C>>>::RStride, <ArrayStorage<T, R, C> as RawStorage<T, Const<R>, Const<C>>>::CStride)

The spacing between consecutive row elements and consecutive column elements.

fn is_contiguous(&self) -> bool

Indicates whether this data buffer stores its elements contiguously.

unsafe fn as_slice_unchecked(&self) -> &[T]

Retrieves the data buffer as a contiguous slice.

fn linear_index(&self, irow: usize, icol: usize) -> usize

Compute the index corresponding to the irow-th row and icol-th column of this matrix. The index must be such that the following holds:

fn get_address_unchecked_linear(&self, i: usize) -> *const T

Gets the address of the i-th matrix component without performing bound-checking.

fn get_address_unchecked(&self, irow: usize, icol: usize) -> *const T

Gets the address of the i-th matrix component without performing bound-checking.

unsafe fn get_unchecked_linear(&self, i: usize) -> &T

Retrieves a reference to the i-th element without bound-checking.

unsafe fn get_unchecked(&self, irow: usize, icol: usize) -> &T

Retrieves a reference to the i-th element without bound-checking.

impl<T, const R: usize, const C: usize> RawStorageMut<T, Const<R>, Const<C>> for ArrayStorage<T, R, C>

fn ptr_mut(&mut self) -> *mut T

The matrix mutable data pointer.

unsafe fn as_mut_slice_unchecked(&mut self) -> &mut [T]

Retrieves the mutable data buffer as a contiguous slice.

fn get_address_unchecked_linear_mut(&mut self, i: usize) -> *mut T

Gets the mutable address of the i-th matrix component without performing bound-checking.

fn get_address_unchecked_mut(&mut self, irow: usize, icol: usize) -> *mut T

Gets the mutable address of the i-th matrix component without performing bound-checking.

unsafe fn get_unchecked_linear_mut(&mut self, i: usize) -> &mut T

Retrieves a mutable reference to the i-th element without bound-checking.

unsafe fn get_unchecked_mut(&mut self, irow: usize, icol: usize) -> &mut T

Retrieves a mutable reference to the element at (irow, icol) without bound-checking.

unsafe fn swap_unchecked_linear(&mut self, i1: usize, i2: usize)

Swaps two elements using their linear index without bound-checking.

unsafe fn swap_unchecked(
    &mut self,
    row_col1: (usize, usize),
    row_col2: (usize, usize)
)

Swaps two elements without bound-checking.

impl<T, CTo, const RFROM: usize, const CFROM: usize> Reallocator<T, Const<RFROM>, Const<CFROM>, Dynamic, CTo> for DefaultAllocator where
    T: Scalar,
    CTo: Dim, 

unsafe fn reallocate_copy(
    rto: Dynamic,
    cto: CTo,
    buf: ArrayStorage<T, RFROM, CFROM>
) -> VecStorage<MaybeUninit<T>, Dynamic, CTo>

Reallocates a buffer of shape (RTo, CTo), possibly reusing a previously allocated buffer buf. Data stored by buf are linearly copied to the output:

impl<T, RTo, const RFROM: usize, const CFROM: usize> Reallocator<T, Const<RFROM>, Const<CFROM>, RTo, Dynamic> for DefaultAllocator where
    T: Scalar,
    RTo: DimName, 

unsafe fn reallocate_copy(
    rto: RTo,
    cto: Dynamic,
    buf: ArrayStorage<T, RFROM, CFROM>
) -> VecStorage<MaybeUninit<T>, RTo, Dynamic>

Reallocates a buffer of shape (RTo, CTo), possibly reusing a previously allocated buffer buf. Data stored by buf are linearly copied to the output:

impl<T, RFrom, CFrom, const RTO: usize, const CTO: usize> Reallocator<T, RFrom, CFrom, Const<RTO>, Const<CTO>> for DefaultAllocator where
    T: Scalar,
    RFrom: Dim,
    CFrom: Dim,
    DefaultAllocator: Allocator<T, RFrom, CFrom>, 

unsafe fn reallocate_copy(
    rto: Const<RTO>,
    cto: Const<CTO>,
    buf: <DefaultAllocator as Allocator<T, RFrom, CFrom>>::Buffer
) -> ArrayStorage<MaybeUninit<T>, RTO, CTO>

Reallocates a buffer of shape (RTo, CTo), possibly reusing a previously allocated buffer buf. Data stored by buf are linearly copied to the output:

impl<T, const R1: usize, const C1: usize, const R2: usize, const C2: usize> ReshapableStorage<T, Const<R1>, Const<C1>, Const<R2>, Const<C2>> for ArrayStorage<T, R1, C1> where
    T: Scalar,
    Const<R1>: ToTypenum,
    Const<C1>: ToTypenum,
    Const<R2>: ToTypenum,
    Const<C2>: ToTypenum,
    <Const<R1> as ToTypenum>::Typenum: Mul<<Const<C1> as ToTypenum>::Typenum>,
    <Const<R2> as ToTypenum>::Typenum: Mul<<Const<C2> as ToTypenum>::Typenum>,
    <<Const<R2> as ToTypenum>::Typenum as Mul<<Const<C2> as ToTypenum>::Typenum>>::Output == <<Const<R1> as ToTypenum>::Typenum as Mul<<Const<C1> as ToTypenum>::Typenum>>::Output, 

type Output = ArrayStorage<T, R2, C2>

The reshaped storage type.

fn reshape_generic(
    self,
    Const<R2>,
    Const<C2>
) -> <ArrayStorage<T, R1, C1> as ReshapableStorage<T, Const<R1>, Const<C1>, Const<R2>, Const<C2>>>::Output

Reshapes the storage into the output storage type.

impl<T, const R: usize, const C: usize> Storage<T, Const<R>, Const<C>> for ArrayStorage<T, R, C> where
    T: Scalar,
    DefaultAllocator: Allocator<T, Const<R>, Const<C>>,
    <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer == ArrayStorage<T, R, C>, 

fn into_owned(
    self
) -> <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer where
    DefaultAllocator: Allocator<T, Const<R>, Const<C>>, 

Builds a matrix data storage that does not contain any reference.

fn clone_owned(
    &self
) -> <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer where
    DefaultAllocator: Allocator<T, Const<R>, Const<C>>, 

Clones this data storage to one that does not contain any reference.

impl ToTypenum for Const<0>

type Typenum = UTerm

impl ToTypenum for Const<1>

type Typenum = UInt<UTerm, B1>

impl ToTypenum for Const<10>

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

impl ToTypenum for Const<100>

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

impl ToTypenum for Const<101>

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

impl ToTypenum for Const<102>

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

impl ToTypenum for Const<103>

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

impl ToTypenum for Const<104>

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

impl ToTypenum for Const<105>

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

impl ToTypenum for Const<106>

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

impl ToTypenum for Const<107>

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

impl ToTypenum for Const<108>

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

impl ToTypenum for Const<109>

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

impl ToTypenum for Const<11>

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

impl ToTypenum for Const<110>

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

impl ToTypenum for Const<111>

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

impl ToTypenum for Const<112>

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

impl ToTypenum for Const<113>

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

impl ToTypenum for Const<114>

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

impl ToTypenum for Const<115>

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

impl ToTypenum for Const<116>

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

impl ToTypenum for Const<117>

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

impl ToTypenum for Const<118>

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

impl ToTypenum for Const<119>

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

impl ToTypenum for Const<12>

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

impl ToTypenum for Const<120>

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

impl ToTypenum for Const<121>

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

impl ToTypenum for Const<122>

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

impl ToTypenum for Const<123>

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

impl ToTypenum for Const<124>

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

impl ToTypenum for Const<125>

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

impl ToTypenum for Const<126>

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

impl ToTypenum for Const<127>

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

impl ToTypenum for Const<13>

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

impl ToTypenum for Const<14>

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

impl ToTypenum for Const<15>

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

impl ToTypenum for Const<16>

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

impl ToTypenum for Const<17>

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

impl ToTypenum for Const<18>

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

impl ToTypenum for Const<19>

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

impl ToTypenum for Const<2>

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

impl ToTypenum for Const<20>

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

impl ToTypenum for Const<21>

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

impl ToTypenum for Const<22>

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

impl ToTypenum for Const<23>

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

impl ToTypenum for Const<24>

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

impl ToTypenum for Const<25>

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

impl ToTypenum for Const<26>

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

impl ToTypenum for Const<27>

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

impl ToTypenum for Const<28>

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

impl ToTypenum for Const<29>

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

impl ToTypenum for Const<3>

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

impl ToTypenum for Const<30>

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

impl ToTypenum for Const<31>

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

impl ToTypenum for Const<32>

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

impl ToTypenum for Const<33>

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

impl ToTypenum for Const<34>

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

impl ToTypenum for Const<35>

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

impl ToTypenum for Const<36>

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

impl ToTypenum for Const<37>

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

impl ToTypenum for Const<38>

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

impl ToTypenum for Const<39>

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

impl ToTypenum for Const<4>

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

impl ToTypenum for Const<40>

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

impl ToTypenum for Const<41>

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

impl ToTypenum for Const<42>

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

impl ToTypenum for Const<43>

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

impl ToTypenum for Const<44>

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

impl ToTypenum for Const<45>

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

impl ToTypenum for Const<46>

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

impl ToTypenum for Const<47>

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

impl ToTypenum for Const<48>

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

impl ToTypenum for Const<49>

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

impl ToTypenum for Const<5>

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

impl ToTypenum for Const<50>

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

impl ToTypenum for Const<51>

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

impl ToTypenum for Const<52>

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

impl ToTypenum for Const<53>

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

impl ToTypenum for Const<54>

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

impl ToTypenum for Const<55>

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

impl ToTypenum for Const<56>

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

impl ToTypenum for Const<57>

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

impl ToTypenum for Const<58>

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

impl ToTypenum for Const<59>

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

impl ToTypenum for Const<6>

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

impl ToTypenum for Const<60>

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

impl ToTypenum for Const<61>

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

impl ToTypenum for Const<62>

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

impl ToTypenum for Const<63>

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

impl ToTypenum for Const<64>

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

impl ToTypenum for Const<65>

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

impl ToTypenum for Const<66>

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

impl ToTypenum for Const<67>

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

impl ToTypenum for Const<68>

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

impl ToTypenum for Const<69>

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

impl ToTypenum for Const<7>

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

impl ToTypenum for Const<70>

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

impl ToTypenum for Const<71>

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

impl ToTypenum for Const<72>

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

impl ToTypenum for Const<73>

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

impl ToTypenum for Const<74>

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

impl ToTypenum for Const<75>

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

impl ToTypenum for Const<76>

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

impl ToTypenum for Const<77>

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

impl ToTypenum for Const<78>

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

impl ToTypenum for Const<79>

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

impl ToTypenum for Const<8>

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

impl ToTypenum for Const<80>

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

impl ToTypenum for Const<81>

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

impl ToTypenum for Const<82>

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

impl ToTypenum for Const<83>

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

impl ToTypenum for Const<84>

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

impl ToTypenum for Const<85>

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

impl ToTypenum for Const<86>

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

impl ToTypenum for Const<87>

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

impl ToTypenum for Const<88>

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

impl ToTypenum for Const<89>

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

impl ToTypenum for Const<9>

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

impl ToTypenum for Const<90>

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

impl ToTypenum for Const<91>

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

impl ToTypenum for Const<92>

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

impl ToTypenum for Const<93>

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

impl ToTypenum for Const<94>

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

impl ToTypenum for Const<95>

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

impl ToTypenum for Const<96>

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

impl ToTypenum for Const<97>

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

impl ToTypenum for Const<98>

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

impl ToTypenum for Const<99>

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

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

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

impl IsNotStaticOne for Const<0>

impl IsNotStaticOne for Const<10>

impl IsNotStaticOne for Const<100>

impl IsNotStaticOne for Const<101>

impl IsNotStaticOne for Const<102>

impl IsNotStaticOne for Const<103>

impl IsNotStaticOne for Const<104>

impl IsNotStaticOne for Const<105>

impl IsNotStaticOne for Const<106>

impl IsNotStaticOne for Const<107>

impl IsNotStaticOne for Const<108>

impl IsNotStaticOne for Const<109>

impl IsNotStaticOne for Const<11>

impl IsNotStaticOne for Const<110>

impl IsNotStaticOne for Const<111>

impl IsNotStaticOne for Const<112>

impl IsNotStaticOne for Const<113>

impl IsNotStaticOne for Const<114>

impl IsNotStaticOne for Const<115>

impl IsNotStaticOne for Const<116>

impl IsNotStaticOne for Const<117>

impl IsNotStaticOne for Const<118>

impl IsNotStaticOne for Const<119>

impl IsNotStaticOne for Const<12>

impl IsNotStaticOne for Const<120>

impl IsNotStaticOne for Const<121>

impl IsNotStaticOne for Const<122>

impl IsNotStaticOne for Const<123>

impl IsNotStaticOne for Const<124>

impl IsNotStaticOne for Const<125>

impl IsNotStaticOne for Const<126>

impl IsNotStaticOne for Const<127>

impl IsNotStaticOne for Const<13>

impl IsNotStaticOne for Const<14>

impl IsNotStaticOne for Const<15>

impl IsNotStaticOne for Const<16>

impl IsNotStaticOne for Const<17>

impl IsNotStaticOne for Const<18>

impl IsNotStaticOne for Const<19>

impl IsNotStaticOne for Const<2>

impl IsNotStaticOne for Const<20>

impl IsNotStaticOne for Const<21>

impl IsNotStaticOne for Const<22>

impl IsNotStaticOne for Const<23>

impl IsNotStaticOne for Const<24>

impl IsNotStaticOne for Const<25>

impl IsNotStaticOne for Const<26>

impl IsNotStaticOne for Const<27>

impl IsNotStaticOne for Const<28>

impl IsNotStaticOne for Const<29>

impl IsNotStaticOne for Const<3>

impl IsNotStaticOne for Const<30>

impl IsNotStaticOne for Const<31>

impl IsNotStaticOne for Const<32>

impl IsNotStaticOne for Const<33>

impl IsNotStaticOne for Const<34>

impl IsNotStaticOne for Const<35>

impl IsNotStaticOne for Const<36>

impl IsNotStaticOne for Const<37>

impl IsNotStaticOne for Const<38>

impl IsNotStaticOne for Const<39>

impl IsNotStaticOne for Const<4>

impl IsNotStaticOne for Const<40>

impl IsNotStaticOne for Const<41>

impl IsNotStaticOne for Const<42>

impl IsNotStaticOne for Const<43>

impl IsNotStaticOne for Const<44>

impl IsNotStaticOne for Const<45>

impl IsNotStaticOne for Const<46>

impl IsNotStaticOne for Const<47>

impl IsNotStaticOne for Const<48>

impl IsNotStaticOne for Const<49>

impl IsNotStaticOne for Const<5>

impl IsNotStaticOne for Const<50>

impl IsNotStaticOne for Const<51>

impl IsNotStaticOne for Const<52>

impl IsNotStaticOne for Const<53>

impl IsNotStaticOne for Const<54>

impl IsNotStaticOne for Const<55>

impl IsNotStaticOne for Const<56>

impl IsNotStaticOne for Const<57>

impl IsNotStaticOne for Const<58>

impl IsNotStaticOne for Const<59>

impl IsNotStaticOne for Const<6>

impl IsNotStaticOne for Const<60>

impl IsNotStaticOne for Const<61>

impl IsNotStaticOne for Const<62>

impl IsNotStaticOne for Const<63>

impl IsNotStaticOne for Const<64>

impl IsNotStaticOne for Const<65>

impl IsNotStaticOne for Const<66>

impl IsNotStaticOne for Const<67>

impl IsNotStaticOne for Const<68>

impl IsNotStaticOne for Const<69>

impl IsNotStaticOne for Const<7>

impl IsNotStaticOne for Const<70>

impl IsNotStaticOne for Const<71>

impl IsNotStaticOne for Const<72>

impl IsNotStaticOne for Const<73>

impl IsNotStaticOne for Const<74>

impl IsNotStaticOne for Const<75>

impl IsNotStaticOne for Const<76>

impl IsNotStaticOne for Const<77>

impl IsNotStaticOne for Const<78>

impl IsNotStaticOne for Const<79>

impl IsNotStaticOne for Const<8>

impl IsNotStaticOne for Const<80>

impl IsNotStaticOne for Const<81>

impl IsNotStaticOne for Const<82>

impl IsNotStaticOne for Const<83>

impl IsNotStaticOne for Const<84>

impl IsNotStaticOne for Const<85>

impl IsNotStaticOne for Const<86>

impl IsNotStaticOne for Const<87>

impl IsNotStaticOne for Const<88>

impl IsNotStaticOne for Const<89>

impl IsNotStaticOne for Const<9>

impl IsNotStaticOne for Const<90>

impl IsNotStaticOne for Const<91>

impl IsNotStaticOne for Const<92>

impl IsNotStaticOne for Const<93>

impl IsNotStaticOne for Const<94>

impl IsNotStaticOne for Const<95>

impl IsNotStaticOne for Const<96>

impl IsNotStaticOne for Const<97>

impl IsNotStaticOne for Const<98>

impl IsNotStaticOne for Const<99>

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

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