Trait interval::ops::Width

pub trait Width: Ord + Clone {
    type Output: Unsigned + Integer + Clone;

    // Required methods
    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.

Required 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).

Object Safety

This trait is not object safe.

Implementations on Foreign Types

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

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

Implementors