Trait FiniteValue

pub trait FiniteValue:
    Copy
    + Add<Self, Output = Self>
    + Div<Self, Output = Self>
    + Mul<Self, Output = Self>
    + Rem<Self, Output = Self>
    + Sub<Self, Output = Self>
    + PartialOrd {
    const MIN: Self;
    const ONE: Self;
    const ZERO: Self;

    // Required methods
    fn from_usize(other: usize) -> Option<Self>;
    fn into_usize(other: Self) -> Option<usize>;

    // Provided methods
    fn inc(self) -> Self { ... }
    fn dec(self) -> Self { ... }
}

Required Associated Constants

const MIN: Self

const ONE: Self

const ZERO: Self

Required Methods

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

Provided Methods

fn inc(self) -> Self

fn dec(self) -> Self

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.

Implementations on Foreign Types

impl FiniteValue for i8

const MIN: i8 = -128i8

const ONE: i8 = 1i8

const ZERO: i8 = 0i8

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

impl FiniteValue for i16

const MIN: i16 = -32_768i16

const ONE: i16 = 1i16

const ZERO: i16 = 0i16

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

impl FiniteValue for i32

const MIN: i32 = -2_147_483_648i32

const ONE: i32 = 1i32

const ZERO: i32 = 0i32

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

impl FiniteValue for i64

const MIN: i64 = -9_223_372_036_854_775_808i64

const ONE: i64 = 1i64

const ZERO: i64 = 0i64

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

impl FiniteValue for i128

const MIN: i128 = -170_141_183_460_469_231_731_687_303_715_884_105_728i128

const ONE: i128 = 1i128

const ZERO: i128 = 0i128

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

impl FiniteValue for u8

const MIN: u8 = 0u8

const ONE: u8 = 1u8

const ZERO: u8 = 0u8

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

impl FiniteValue for u16

const MIN: u16 = 0u16

const ONE: u16 = 1u16

const ZERO: u16 = 0u16

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

impl FiniteValue for u32

const MIN: u32 = 0u32

const ONE: u32 = 1u32

const ZERO: u32 = 0u32

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

impl FiniteValue for u64

const MIN: u64 = 0u64

const ONE: u64 = 1u64

const ZERO: u64 = 0u64

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

impl FiniteValue for u128

const MIN: u128 = 0u128

const ONE: u128 = 1u128

const ZERO: u128 = 0u128

fn from_usize(other: usize) -> Option<Self>

fn into_usize(other: Self) -> Option<usize>

Implementors