Trait opendp::traits::ExactIntBounds

pub trait ExactIntBounds {
    const MAX_CONSECUTIVE: Self;
    const MIN_CONSECUTIVE: Self;
}

Consts representing the maximum and minimum finite consecutive values.

This is also implemented for floats, as neighboring floating point values may differ by more than 1 when the mantissa is exhausted.

Required Associated Constants

const MAX_CONSECUTIVE: Self

Proof Definition

Self::MAX_CONSECUTIVE is the largest integer-consecutive finite value that can be represented by Self.

const MIN_CONSECUTIVE: Self

Proof Definition

Self::MIN_CONSECUTIVE is the smallest integer-consecutive finite value that can be represented by Self.

Implementations on Foreign Types

impl ExactIntBounds for i64

const MAX_CONSECUTIVE: Self = 9_223_372_036_854_775_807i64

const MIN_CONSECUTIVE: Self = -9_223_372_036_854_775_808i64

impl ExactIntBounds for isize

const MAX_CONSECUTIVE: Self = 9_223_372_036_854_775_807isize

const MIN_CONSECUTIVE: Self = -9_223_372_036_854_775_808isize

impl ExactIntBounds for f32

const MAX_CONSECUTIVE: Self = 16777216f32

const MIN_CONSECUTIVE: Self = -16777216f32

impl ExactIntBounds for usize

const MAX_CONSECUTIVE: Self = 18_446_744_073_709_551_615usize

const MIN_CONSECUTIVE: Self = 0usize

impl ExactIntBounds for i32

const MAX_CONSECUTIVE: Self = 2_147_483_647i32

const MIN_CONSECUTIVE: Self = -2_147_483_648i32

impl ExactIntBounds for u128

const MAX_CONSECUTIVE: Self = 340_282_366_920_938_463_463_374_607_431_768_211_455u128

const MIN_CONSECUTIVE: Self = 0u128

impl ExactIntBounds for u8

const MAX_CONSECUTIVE: Self = 255u8

const MIN_CONSECUTIVE: Self = 0u8

impl ExactIntBounds for u64

const MAX_CONSECUTIVE: Self = 18_446_744_073_709_551_615u64

const MIN_CONSECUTIVE: Self = 0u64

impl ExactIntBounds for i128

const MAX_CONSECUTIVE: Self = 170_141_183_460_469_231_731_687_303_715_884_105_727i128

const MIN_CONSECUTIVE: Self = -170_141_183_460_469_231_731_687_303_715_884_105_728i128

impl ExactIntBounds for u32

const MAX_CONSECUTIVE: Self = 4_294_967_295u32

const MIN_CONSECUTIVE: Self = 0u32

impl ExactIntBounds for i16

const MAX_CONSECUTIVE: Self = 32_767i16

const MIN_CONSECUTIVE: Self = -32_768i16

impl ExactIntBounds for i8

const MAX_CONSECUTIVE: Self = 127i8

const MIN_CONSECUTIVE: Self = -128i8

impl ExactIntBounds for u16

const MAX_CONSECUTIVE: Self = 65_535u16

const MIN_CONSECUTIVE: Self = 0u16

impl ExactIntBounds for f64

const MAX_CONSECUTIVE: Self = 9007199254740992f64

const MIN_CONSECUTIVE: Self = -9007199254740992f64

Implementors