Trait creusot_contracts::std::ops::OneSidedRange

pub trait OneSidedRange<T>: RangeBounds<T>
where
    T: ?Sized,
{ }

🔬This is a nightly-only experimental API. (one_sided_range)

OneSidedRange is implemented for built-in range types that are unbounded on one side. For example, a.., ..b and ..=c implement OneSidedRange, but .., d..e, and f..=g do not.

Types that implement OneSidedRange<T> must return Bound::Unbounded from one of RangeBounds::start_bound or RangeBounds::end_bound.

Object Safety

This trait is not object safe.

Implementors

impl<T> OneSidedRange<T> for RangeFrom<T>

where RangeFrom<T>: RangeBounds<T>,

impl<T> OneSidedRange<T> for RangeTo<T>

where RangeTo<T>: RangeBounds<T>,

impl<T> OneSidedRange<T> for RangeToInclusive<T>

where RangeToInclusive<T>: RangeBounds<T>,