Trait range_union_find::NumInRange

pub trait NumInRange: Steppable + Add<Output = Self> + Clone + PartialOrd + Ord + PartialEq + Eq {
    const MIN_DECR_IS_UNDERFLOW: bool;
    const MAX_INCR_IS_OVERFLOW: bool;

    // Required methods
    fn min_value() -> Self;
    fn max_value() -> Self;
}

Trait representing number types over which intervals can be constructed.

Safety

This trait is not unsafe, so do not use custom implementers of this trait in unsafe contexts (e.g. a custom NumInRange as indexes to track initialized buckets in a custom HashMap) without auditing the exact implementation.

Required Associated Constants

const MIN_DECR_IS_UNDERFLOW: bool

Whether caling Steppable::step_decr on the min value would underflow the type.

const MAX_INCR_IS_OVERFLOW: bool

Whether caling Steppable::step_incr on the max value would overflow the type.

Required Methods

fn min_value() -> Self

Return the minimum possible value the number can take.

fn max_value() -> Self

Return the maximum possible value the number can take.

Implementors

impl<T: Float> NumInRange for NonNanFloat<T>where NonNanFloat<T>: Steppable,

const MIN_DECR_IS_UNDERFLOW: bool = false

const MAX_INCR_IS_OVERFLOW: bool = false

impl<T: PrimInt> NumInRange for T

const MIN_DECR_IS_UNDERFLOW: bool = true

const MAX_INCR_IS_OVERFLOW: bool = true