Trait creusot_contracts::std::ops::RangeBounds

pub trait RangeBounds<T>
where
    T: ?Sized,
{
    // Required methods
    fn start_bound(&self) -> Bound<&T>;
    fn end_bound(&self) -> Bound<&T>;

    // Provided method
    fn contains<U>(&self, item: &U) -> bool
       where T: PartialOrd<U>,
             U: PartialOrd<T> + ?Sized { ... }
}

RangeBounds is implemented by Rust’s built-in range types, produced by range syntax like .., a.., ..b, ..=c, d..e, or f..=g.

Required Methods

fn start_bound(&self) -> Bound<&T>

Start index bound.

Returns the start value as a Bound.

Examples

use std::ops::Bound::*;
use std::ops::RangeBounds;

assert_eq!((..10).start_bound(), Unbounded);
assert_eq!((3..10).start_bound(), Included(&3));

fn end_bound(&self) -> Bound<&T>

End index bound.

Returns the end value as a Bound.

Examples

use std::ops::Bound::*;
use std::ops::RangeBounds;

assert_eq!((3..).end_bound(), Unbounded);
assert_eq!((3..10).end_bound(), Excluded(&10));

Provided Methods

fn contains<U>(&self, item: &U) -> bool

where T: PartialOrd<U>, U: PartialOrd<T> + ?Sized,

Returns true if item is contained in the range.

Examples

assert!( (3..5).contains(&4));
assert!(!(3..5).contains(&2));

assert!( (0.0..1.0).contains(&0.5));
assert!(!(0.0..1.0).contains(&f32::NAN));
assert!(!(0.0..f32::NAN).contains(&0.5));
assert!(!(f32::NAN..1.0).contains(&0.5));

Object Safety

This trait is not object safe.

Implementors

impl<'a, T> RangeBounds<T> for (Bound<&'a T>, Bound<&'a T>)

where T: 'a + ?Sized,

impl<T> RangeBounds<T> for (Bound<T>, Bound<T>)

impl<T> RangeBounds<T> for core::range::Range<&T>

impl<T> RangeBounds<T> for core::range::Range<T>

impl<T> RangeBounds<T> for core::range::RangeFrom<&T>

impl<T> RangeBounds<T> for core::range::RangeFrom<T>

impl<T> RangeBounds<T> for core::range::RangeInclusive<&T>

impl<T> RangeBounds<T> for core::range::RangeInclusive<T>

impl<T> RangeBounds<T> for creusot_contracts::std::ops::Range<&T>

impl<T> RangeBounds<T> for creusot_contracts::std::ops::Range<T>

impl<T> RangeBounds<T> for creusot_contracts::std::ops::RangeFrom<&T>

impl<T> RangeBounds<T> for creusot_contracts::std::ops::RangeFrom<T>

impl<T> RangeBounds<T> for RangeFull

where T: ?Sized,

impl<T> RangeBounds<T> for creusot_contracts::std::ops::RangeInclusive<&T>

impl<T> RangeBounds<T> for creusot_contracts::std::ops::RangeInclusive<T>

impl<T> RangeBounds<T> for RangeTo<&T>

impl<T> RangeBounds<T> for RangeTo<T>

impl<T> RangeBounds<T> for RangeToInclusive<&T>

impl<T> RangeBounds<T> for RangeToInclusive<T>