Trait normalize_interval::normalize::Finite

pub trait Finite: Sized {
    const MINIMUM: Self;
    const MAXIMUM: Self;

    // Required methods
    fn pred(&self) -> Option<Self>;
    fn succ(&self) -> Option<Self>;
}

Provides the methods needed to iterate over an type’s points. Used to Normalize finite types used in Interval bounds.

Required Associated Constants

const MINIMUM: Self

The minimum value of the type.

const MAXIMUM: Self

The maximum value of the type.

Required Methods

fn pred(&self) -> Option<Self>

Returns the previous element before the given one.

fn succ(&self) -> Option<Self>

Returns the next element after the given one.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Finite for i8

const MINIMUM: i8 = -128i8

const MAXIMUM: i8 = 127i8

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for i16

const MINIMUM: i16 = -32_768i16

const MAXIMUM: i16 = 32_767i16

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for i32

const MINIMUM: i32 = -2_147_483_648i32

const MAXIMUM: i32 = 2_147_483_647i32

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for i64

const MINIMUM: i64 = -9_223_372_036_854_775_808i64

const MAXIMUM: i64 = 9_223_372_036_854_775_807i64

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for i128

const MINIMUM: i128 = -170_141_183_460_469_231_731_687_303_715_884_105_728i128

const MAXIMUM: i128 = 170_141_183_460_469_231_731_687_303_715_884_105_727i128

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for isize

const MINIMUM: isize = -9_223_372_036_854_775_808isize

const MAXIMUM: isize = 9_223_372_036_854_775_807isize

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for u8

const MINIMUM: u8 = 0u8

const MAXIMUM: u8 = 255u8

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for u16

const MINIMUM: u16 = 0u16

const MAXIMUM: u16 = 65_535u16

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for u32

const MINIMUM: u32 = 0u32

const MAXIMUM: u32 = 4_294_967_295u32

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for u64

const MINIMUM: u64 = 0u64

const MAXIMUM: u64 = 18_446_744_073_709_551_615u64

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for u128

const MINIMUM: u128 = 0u128

const MAXIMUM: u128 = 340_282_366_920_938_463_463_374_607_431_768_211_455u128

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

impl Finite for usize

const MINIMUM: usize = 0usize

const MAXIMUM: usize = 18_446_744_073_709_551_615usize

fn pred(&self) -> Option<Self>

fn succ(&self) -> Option<Self>

Implementors