Struct std::ops::RangeFrom1.0.0[][src]

#[lang = "RangeFrom"]pub struct RangeFrom<Idx> {
    pub start: Idx,

A range only bounded inclusively below (start..).

The RangeFrom start.. contains all values with x >= start.

Note: Overflow in the Iterator implementation (when the contained data type reaches its numerical limit) is allowed to panic, wrap, or saturate. This behavior is defined by the implementation of the Step trait. For primitive integers, this follows the normal rules, and respects the overflow checks profile (panic in debug, wrap in release). Note also that overflow happens earlier than you might assume: the overflow happens in the call to next that yields the maximum value, as the range must be set to a state to yield the next value.


The start.. syntax is a RangeFrom:

assert_eq!((2..), std::ops::RangeFrom { start: 2 });
assert_eq!(2 + 3 + 4, (2..).take(3).sum());
let arr = [0, 1, 2, 3, 4];
assert_eq!(arr[ ..  ], [0, 1, 2, 3, 4]);
assert_eq!(arr[ .. 3], [0, 1, 2      ]);
assert_eq!(arr[ ..=3], [0, 1, 2, 3   ]);
assert_eq!(arr[1..  ], [   1, 2, 3, 4]); // This is a `RangeFrom`
assert_eq!(arr[1.. 3], [   1, 2      ]);
assert_eq!(arr[1..=3], [   1, 2, 3   ]);


start: Idx

The lower bound of the range (inclusive).


impl<Idx> RangeFrom<Idx> where
    Idx: PartialOrd<Idx>, 

pub fn contains<U>(&self, item: &U) -> bool where
    U: PartialOrd<Idx> + ?Sized,
    Idx: PartialOrd<U>, 

Returns true if item is contained in the range.


assert!( (3..).contains(&3));
assert!( (3..).contains(&1_000_000_000));

assert!( (0.0..).contains(&0.5));

Trait Implementations

impl<Idx> Clone for RangeFrom<Idx> where
    Idx: Clone

impl<Idx> Debug for RangeFrom<Idx> where
    Idx: Debug

impl<Idx> Eq for RangeFrom<Idx> where
    Idx: Eq

impl<A> FusedIterator for RangeFrom<A> where
    A: Step

impl<Idx> Hash for RangeFrom<Idx> where
    Idx: Hash

impl Index<RangeFrom<usize>> for String[src]

type Output = str

The returned type after indexing.

impl Index<RangeFrom<usize>> for CStr1.47.0[src]

type Output = CStr

The returned type after indexing.

impl IndexMut<RangeFrom<usize>> for String1.3.0[src]

impl<A> Iterator for RangeFrom<A> where
    A: Step

type Item = A

The type of the elements being iterated over.

impl<Idx> PartialEq<RangeFrom<Idx>> for RangeFrom<Idx> where
    Idx: PartialEq<Idx>, 

impl<T> RangeBounds<T> for RangeFrom<T>1.28.0[src]

impl<'_, T> RangeBounds<T> for RangeFrom<&'_ T>1.28.0[src]

impl<T> SliceIndex<[T]> for RangeFrom<usize>1.15.0[src]

type Output = [T]

The output type returned by methods.

impl SliceIndex<str> for RangeFrom<usize>1.20.0[src]

Implements substring slicing with syntax &self[begin ..] or &mut self[begin ..].

Returns a slice of the given string from the byte range [begin, len). Equivalent to &self[begin .. len] or &mut self[begin .. len].

This operation is O(1).

Prior to 1.20.0, these indexing operations were still supported by direct implementation of Index and IndexMut.


Panics if begin does not point to the starting byte offset of a character (as defined by is_char_boundary), or if begin > len.

type Output = str

The output type returned by methods.

impl<Idx> StructuralEq for RangeFrom<Idx>[src]

impl<Idx> StructuralPartialEq for RangeFrom<Idx>[src]

impl<A> TrustedLen for RangeFrom<A> where
    A: Step

Auto Trait Implementations

impl<Idx> RefUnwindSafe for RangeFrom<Idx> where
    Idx: RefUnwindSafe

impl<Idx> Send for RangeFrom<Idx> where
    Idx: Send

impl<Idx> Sync for RangeFrom<Idx> where
    Idx: Sync

impl<Idx> Unpin for RangeFrom<Idx> where
    Idx: Unpin

impl<Idx> UnwindSafe for RangeFrom<Idx> where
    Idx: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<I> IntoIterator for I where
    I: Iterator

type Item = <I as Iterator>::Item

The type of the elements being iterated over.

type IntoIter = I

Which kind of iterator are we turning this into?

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.