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".

Implementors

impl ConstInteger for ConstUsize<0>

const VALUE: usize = 0

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 = 1

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 = 2

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 = 3

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 = 4

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 = 5

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 = 6

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

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 = 8

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 = 9

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 = 63

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 = 64

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 = 65

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 = 127

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 = 128

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 = 129

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 = 255

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 = 256

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 = 257

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 = MAX

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]