Trait ConstInteger

pub trait ConstInteger:
    Default
    + Copy
    + Eq
    + Debug
    + 'static {
    type SatDec: ConstInteger;
    type Dec: ConstInteger;
    type Inc: ConstInteger;
    type ArrayOf<T>: ConstArray<Item = T, Cap = Self>;
    type CopyArrayOf<T: Copy>: ConstArray<Item = T, Cap = Self, DecArray: Copy> + Copy;

    const VALUE: usize;
    const DEFAULT: Self;

    // Provided methods
    fn value(self) -> usize { ... }
    fn sat_dec(self) -> Self::Dec { ... }
    fn dec(self) -> Self::Dec { ... }
    fn inc(self) -> Self::Inc { ... }
}

Ala C++ integral_constant.

We need this machinery to fight against Rust’s half-baked const evaluation. With this, we can do const {Self::N+1} in stable rust.

Required Associated Constants

const VALUE: usize

const DEFAULT: Self

const Default::default()

Required Associated Types

type SatDec: ConstInteger

Saturating decrement

type Dec: ConstInteger

type Inc: ConstInteger

type ArrayOf<T>: ConstArray<Item = T, Cap = Self>

[T; Self::N]

type CopyArrayOf<T: Copy>: ConstArray<Item = T, Cap = Self, DecArray: Copy> + Copy

Same as Self::ArrayOf, but with additional type bounds.

N.B. We can’t just forward Copy for ArrayOf if T: Copy in Rust.

Provided Methods

fn value(self) -> usize

fn sat_dec(self) -> Self::Dec

Saturating decrement

fn dec(self) -> Self::Dec

fn inc(self) -> Self::Inc

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl ConstInteger for ConstUsize<0>

const VALUE: usize = 0usize

const DEFAULT: Self

type Dec = ConstUsize<MAX>

type SatDec = ConstUsize<0>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 0]

type CopyArrayOf<T: Copy> = [T; 0]

impl ConstInteger for ConstUsize<1>

const VALUE: usize = 1usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 1]

type CopyArrayOf<T: Copy> = [T; 1]

impl ConstInteger for ConstUsize<2>

const VALUE: usize = 2usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 2]

type CopyArrayOf<T: Copy> = [T; 2]

impl ConstInteger for ConstUsize<3>

const VALUE: usize = 3usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 3]

type CopyArrayOf<T: Copy> = [T; 3]

impl ConstInteger for ConstUsize<4>

const VALUE: usize = 4usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 4]

type CopyArrayOf<T: Copy> = [T; 4]

impl ConstInteger for ConstUsize<5>

const VALUE: usize = 5usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 5]

type CopyArrayOf<T: Copy> = [T; 5]

impl ConstInteger for ConstUsize<6>

const VALUE: usize = 6usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 6]

type CopyArrayOf<T: Copy> = [T; 6]

impl ConstInteger for ConstUsize<7>

const VALUE: usize = 7usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 7]

type CopyArrayOf<T: Copy> = [T; 7]

impl ConstInteger for ConstUsize<8>

const VALUE: usize = 8usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 8]

type CopyArrayOf<T: Copy> = [T; 8]

impl ConstInteger for ConstUsize<9>

const VALUE: usize = 9usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<MAX>

type ArrayOf<T> = [T; 9]

type CopyArrayOf<T: Copy> = [T; 9]

impl ConstInteger for ConstUsize<63>

const VALUE: usize = 63usize

const DEFAULT: Self

type Dec = ConstUsize<MAX>

type SatDec = ConstUsize<63>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 63]

type CopyArrayOf<T: Copy> = [T; 63]

impl ConstInteger for ConstUsize<64>

const VALUE: usize = 64usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 64]

type CopyArrayOf<T: Copy> = [T; 64]

impl ConstInteger for ConstUsize<65>

const VALUE: usize = 65usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<MAX>

type ArrayOf<T> = [T; 65]

type CopyArrayOf<T: Copy> = [T; 65]

impl ConstInteger for ConstUsize<127>

const VALUE: usize = 127usize

const DEFAULT: Self

type Dec = ConstUsize<MAX>

type SatDec = ConstUsize<127>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 127]

type CopyArrayOf<T: Copy> = [T; 127]

impl ConstInteger for ConstUsize<128>

const VALUE: usize = 128usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 128]

type CopyArrayOf<T: Copy> = [T; 128]

impl ConstInteger for ConstUsize<129>

const VALUE: usize = 129usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<MAX>

type ArrayOf<T> = [T; 129]

type CopyArrayOf<T: Copy> = [T; 129]

impl ConstInteger for ConstUsize<255>

const VALUE: usize = 255usize

const DEFAULT: Self

type Dec = ConstUsize<MAX>

type SatDec = ConstUsize<255>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 255]

type CopyArrayOf<T: Copy> = [T; 255]

impl ConstInteger for ConstUsize<256>

const VALUE: usize = 256usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<{$i+1}>

type ArrayOf<T> = [T; 256]

type CopyArrayOf<T: Copy> = [T; 256]

impl ConstInteger for ConstUsize<257>

const VALUE: usize = 257usize

const DEFAULT: Self

type Dec = ConstUsize<{$i-1}>

type SatDec = ConstUsize<{$i-1}>

type Inc = ConstUsize<MAX>

type ArrayOf<T> = [T; 257]

type CopyArrayOf<T: Copy> = [T; 257]

impl ConstInteger for ConstUsize<MAX>

const VALUE: usize = 18_446_744_073_709_551_615usize

const DEFAULT: Self

type Dec = ConstUsize<MAX>

type SatDec = ConstUsize<MAX>

type Inc = ConstUsize<MAX>

type ArrayOf<T> = [T; 18446744073709551615]

type CopyArrayOf<T: Copy> = [T; 18446744073709551615]