Trait interval::ops::Width

pub trait Width: Ord + Clone {
    type Output: Unsigned + Integer + Clone;
    fn max_value() -> Self;
    fn min_value() -> Self;
    fn width(lower: &Self, upper: &Self) -> Self::Output;
}

Limit of a bound for which the distance between min_value() and max_value() can be represented in the type Output.

Associated Types

type Output: Unsigned + Integer + Clone

Required Methods

fn max_value() -> Self

fn min_value() -> Self

fn width(lower: &Self, upper: &Self) -> Self::Output

The result might be infinite depending on the underlying type (think about floating types).

Implementations on Foreign Types

impl Width for u8

type Output = u8

fn max_value() -> u8

fn min_value() -> u8

fn width(lower: &u8, upper: &u8) -> u8

impl Width for u16

type Output = u16

fn max_value() -> u16

fn min_value() -> u16

fn width(lower: &u16, upper: &u16) -> u16

impl Width for u32

type Output = u32

fn max_value() -> u32

fn min_value() -> u32

fn width(lower: &u32, upper: &u32) -> u32

impl Width for u64

type Output = u64

fn max_value() -> u64

fn min_value() -> u64

fn width(lower: &u64, upper: &u64) -> u64

impl Width for usize

type Output = usize

fn max_value() -> usize

fn min_value() -> usize

fn width(lower: &usize, upper: &usize) -> usize

impl Width for i8

type Output = u8

fn max_value() -> i8

fn min_value() -> i8

fn width(lower: &i8, upper: &i8) -> u8

impl Width for i16

type Output = u16

fn max_value() -> i16

fn min_value() -> i16

fn width(lower: &i16, upper: &i16) -> u16

impl Width for i32

type Output = u32

fn max_value() -> i32

fn min_value() -> i32

fn width(lower: &i32, upper: &i32) -> u32

impl Width for i64

type Output = u64

fn max_value() -> i64

fn min_value() -> i64

fn width(lower: &i64, upper: &i64) -> u64

impl Width for isize

type Output = usize

fn max_value() -> isize

fn min_value() -> isize

fn width(lower: &isize, upper: &isize) -> usize

Implementors