Trait tract_hir::internal::tract_itertools::__std_iter::TrustedLen

pub unsafe trait TrustedLen: Iterator { }

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

An iterator that reports an accurate length using size_hint.

The iterator reports a size hint where it is either exact (lower bound is equal to upper bound), or the upper bound is None. The upper bound must only be None if the actual iterator length is larger than usize::MAX. In that case, the lower bound must be usize::MAX, resulting in a .size_hint of (usize::MAX, None).

The iterator must produce exactly the number of elements it reported or diverge before reaching the end.

Safety

This trait must only be implemented when the contract is upheld. Consumers of this trait must inspect .size_hint’s upper bound.

Implementations on Foreign Types

impl<'_, T> TrustedLen for RChunksExactMut<'_, T>

impl TrustedLen for RangeInclusive<i8>

impl TrustedLen for Range<u128>

impl<'_, A> TrustedLen for Iter<'_, A>

impl TrustedLen for Range<u8>

impl TrustedLen for Range<i128>

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

impl<A> TrustedLen for IntoIter<A>

impl<'_> TrustedLen for Bytes<'_>

impl<'_, T> TrustedLen for ChunksMut<'_, T>

impl<A> TrustedLen for IntoIter<A>

impl TrustedLen for Range<isize>

impl TrustedLen for RangeInclusive<u16>

impl TrustedLen for RangeInclusive<u128>

impl TrustedLen for Range<u64>

impl<const N: usize, T> TrustedLen for IntoIter<T, N> where
    [T; N]: LengthAtMost32, 

impl TrustedLen for Range<usize>

impl<'_, T> TrustedLen for Chunks<'_, T>

impl TrustedLen for Range<i8>

impl<'_, A> TrustedLen for IterMut<'_, A>

impl TrustedLen for RangeInclusive<i64>

impl<'_, A> TrustedLen for IterMut<'_, A>

impl TrustedLen for Range<i64>

impl<'_, T> TrustedLen for ChunksExact<'_, T>

impl TrustedLen for Range<i16>

impl<'_, T> TrustedLen for RChunksExact<'_, T>

impl<'_, T> TrustedLen for ChunksExactMut<'_, T>

impl TrustedLen for RangeInclusive<u64>

impl TrustedLen for RangeInclusive<u8>

impl<'_, I> TrustedLen for &'_ mut I where
    I: TrustedLen + ?Sized, 

impl TrustedLen for RangeInclusive<u32>

impl<'_, T> TrustedLen for IterMut<'_, T>

impl TrustedLen for Range<u32>

impl TrustedLen for RangeInclusive<i16>

impl TrustedLen for RangeInclusive<i32>

impl TrustedLen for RangeInclusive<i128>

impl<'_, T> TrustedLen for RChunks<'_, T>

impl<'_, T> TrustedLen for Iter<'_, T>

impl TrustedLen for RangeInclusive<isize>

impl TrustedLen for Range<u16>

impl<'_, T> TrustedLen for Windows<'_, T>

impl<'_, T> TrustedLen for RChunksMut<'_, T>

impl TrustedLen for Range<i32>

impl<'_, A> TrustedLen for Iter<'_, A>

impl TrustedLen for RangeInclusive<usize>

impl<'_, T> TrustedLen for Drain<'_, T>

impl<T> TrustedLen for IntoIterSorted<T> where
    T: Ord, 

impl<T> TrustedLen for IntoIter<T>

impl<'_, T> TrustedLen for DrainSorted<'_, T> where
    T: Ord, 

Loading content...

Implementors

impl<'a, I, T> TrustedLen for Cloned<I> where
    I: TrustedLen<Item = &'a T>,
    T: 'a + Clone, 

impl<'a, I, T> TrustedLen for Copied<I> where
    I: TrustedLen<Item = &'a T>,
    T: 'a + Copy, 

impl<A> TrustedLen for Repeat<A> where
    A: Clone, 

impl<A, B> TrustedLen for Chain<A, B> where
    A: TrustedLen,
    B: TrustedLen<Item = <A as Iterator>::Item>, 

impl<A, B> TrustedLen for Zip<A, B> where
    A: TrustedLen,
    B: TrustedLen, 

impl<A, F> TrustedLen for OnceWith<F> where
    F: FnOnce() -> A, 

impl<A, F> TrustedLen for RepeatWith<F> where
    F: FnMut() -> A, 

impl<B, I, F> TrustedLen for Map<I, F> where
    F: FnMut(<I as Iterator>::Item) -> B,
    I: TrustedLen, 

impl<I> TrustedLen for Enumerate<I> where
    I: TrustedLen, 

impl<I> TrustedLen for Rev<I> where
    I: TrustedLen + DoubleEndedIterator, 

impl<I> TrustedLen for Take<I> where
    I: TrustedLen, 

impl<T> TrustedLen for Empty<T>

impl<T> TrustedLen for Once<T>

Loading content...