[][src]Struct peekmore::PeekMoreIterator

pub struct PeekMoreIterator<I: Iterator> { /* fields omitted */ }

This iterator makes it possible to peek multiple times without consuming a value. In reality the underlying iterator will be consumed, but the values will be stored in a local queue. This queue allows us to move around unconsumed elements (as far as the iterator is concerned).

Methods

impl<I: Iterator> PeekMoreIterator<I>[src]

pub fn peek(&mut self) -> Option<&I::Item>[src]

Get a reference to the element where the cursor currently points at (if such element exists). Sometimes we also call this the current 'view'.

If we haven't advanced our cursor, that will be the same element as the one next() would return, but if we have moved our cursor, it will be the element we moved to instead. Note that the cursor can't ever point at an element (which existed) before the first unconsumed element within the iterator. In a sense the cursor moves independently within the iterator. But it will always stick to unconsumed elements.

The following illustration aims to show how peek() behaves. i represents the position of the iterator (i.e. the next value that will be returned if next() is called) and j represents the position of the cursor (i.e. the current element referenced if peek() is called). In example code next to the illustrations, the first element 1 is analogous to A, 2 to B etc.

  • start:
use peekmore::PeekMore;

// Initialize our iterator.
let iterable = [1, 2, 3, 4];
let mut iterator = iterable.iter().peekmore();
-----     -----      -----     -----
| A | --> | B |  --> | C | --> | D | --> None --> None --> ...
-----     -----      -----     -----
  ^
  i, j
  • call peek():
let j = iterator.peek();
assert_eq!(j, Some(&&1));
-----     -----      -----     -----
| A | --> | B |  --> | C | --> | D | --> None --> None --> ...
-----     -----      -----     -----
  ^
  i, j
     returns Some(&A)

  • call advance_view()
let iter = iterator.move_next();
-----     -----      -----     -----
| A | --> | B |  --> | C | --> | D | --> None --> None --> ...
-----     -----      -----     -----
  ^         ^
  i         j
  • call peek() or peek(); peek() or peek(); peek(); peek() etc.

(The reference returned by peek() will not change, similar to the behaviour of core::iter::Peekable::peek. In order to move to the next peekable element, we need to advance our view.)

let j = iterator.peek();
assert_eq!(j, Some(&&2));

// Calling peek() multiple times doesn't shift the position of our cursor;
// a reference to the same element will be returned each call.
assert_eq!(iterator.peek(), Some(&&2));
assert_eq!(iterator.peek(), Some(&&2));
-----     -----      -----     -----
| A | --> | B |  --> | C | --> | D | --> None --> None --> ...
-----     -----      -----     -----
  ^         ^
  i         j
            returns Some(&B)
  • call next() (i.e. advance the iterator; the element represented by A will be consumed)
let i = iterator.next();
assert_eq!(i, Some(&1));
-----     -----      -----     -----
| A |     | B |  --> | C | --> | D | --> None --> None --> ...
-----     -----      -----     -----
            ^
            i, j
 returns Some(A)
  • call next(). (i.e. advance the iterator again; we'll see that the cursor position shifts to the next iterator position if the iterator consumes elements where our cursor pointed at previously (that is if j < i))
// Show that the cursor still points at the second element.
let j = iterator.peek();
assert_eq!(j, Some(&&2));

// Consume the second element.
let i = iterator.next();
assert_eq!(i, Some(&2));

// Our cursor previously pointed at the element represented by B. Since that element has
// been consumed, the cursor shifts to the next unconsumed element: C.
let j = iterator.peek();
assert_eq!(j, Some(&&3));

-----     -----      -----     -----
| A |     | B |      | C | --> | D | --> None --> None --> ...
-----     -----      -----     -----
                       ^
                       i, j
          returns Some(B)
  • Consume more elements by calling next() until we reach None:
let i = iterator.next();
assert_eq!(i, Some(&3));

let j = iterator.peek();
assert_eq!(j, Some(&&4));

let i = iterator.next();
assert_eq!(i, Some(&4));

let j = iterator.peek();
assert_eq!(j, None);

let i = iterator.next();
assert_eq!(i, None);

pub fn peek_next(&mut self) -> Option<&I::Item>[src]

Advance the cursor to the next element and return a reference to that value.

pub fn peek_previous(&mut self) -> Result<Option<&I::Item>, PeekMoreError>[src]

Try to peek at a previous element. If no such element exists (i.e. our cursor is already at the same point as the next iterator element), it will return an Err result containing a PeekMoreError::ElementHasBeenConsumed. If a previous element does exist, an option wrapped in an Ok result will be returned.

Result is re

pub fn peek_forward(&mut self, n: usize) -> Option<&I::Item>[src]

Move the cursor n steps forward and peek at the element the cursor then points to.

pub fn peek_backward(
    &mut self,
    n: usize
) -> Result<Option<&I::Item>, PeekMoreError>
[src]

Move the cursor n steps backward and peek at the element the cursor then points to.

If there aren't n elements prior to the element the cursor currently points at, a PeekMoreError::ElementHasBeenConsumed is returned instead. The cursor will then stay at the position it was prior to calling this method.

If you want to peek at the first unconsumed element instead of returning with an error, you can use the peek_backward_or_first method instead of this one.

pub fn peek_backward_or_first(&mut self, n: usize) -> Option<&I::Item>[src]

Move the cursor n steps backward and peek at the element the cursor then points to, or if there aren't n elements prior to the element the cursor currently points to, peek at the first unconsumed element instead.

Important traits for PeekMoreIterator<I>
pub fn move_next(&mut self) -> &mut PeekMoreIterator<I>[src]

Move the cursor to the next peekable element. This does not advance the iterator itself. To advance the iterator, use Iterator::next().

A mutable reference to the iterator is returned. This operation can be chained.

pub fn move_previous(
    &mut self
) -> Result<&mut PeekMoreIterator<I>, PeekMoreError>
[src]

Move the cursor to the previous peekable element. If such element doesn't exist, returns a PeekMoreError::ElementHasBeenConsumed wrapped in the Err variant of Result.

If we can move to a previous element, a mutable reference to the iterator, wrapped in the Ok variant of Result will be returned.

Important traits for PeekMoreIterator<I>
pub fn move_forward(&mut self, n: usize) -> &mut PeekMoreIterator<I>[src]

Move the cursor n elements forward. This does not advance the iterator itself. To advance the iterator, use Iterator::next().

pub fn move_backward(
    &mut self,
    n: usize
) -> Result<&mut PeekMoreIterator<I>, PeekMoreError>
[src]

Move the cursor n elements backward. If there aren't n unconsumed elements prior to the cursor it will return an error. In case of an error, the cursor will stay at the position it pointed at prior to calling this method.

If you want to reset the cursor to the first unconsumed element even if there aren't n unconsumed elements before the position the cursor points at, you can use the move_backward_or_reset method instead.

Important traits for PeekMoreIterator<I>
pub fn move_backward_or_reset(&mut self, n: usize) -> &mut PeekMoreIterator<I>[src]

Move the cursor n elements backward or reset to the first non consumed element if we can't move the cursor n elements to the back.

pub fn reset_view(&mut self)[src]

Reset the position of the cursor. If we call peek just after a reset, it will return a reference to the first element again.

Trait Implementations

impl<I: Debug + Iterator> Debug for PeekMoreIterator<I> where
    I::Item: Debug
[src]

impl<I: FusedIterator> FusedIterator for PeekMoreIterator<I>[src]

Uses FusedIterator default implementation.

impl<I: ExactSizeIterator> ExactSizeIterator for PeekMoreIterator<I>[src]

Uses ExactSizeIterator default implementation.

impl<'a, I: Iterator> Iterator for PeekMoreIterator<I>[src]

type Item = I::Item

The type of the elements being iterated over.

impl<I: Clone + Iterator> Clone for PeekMoreIterator<I> where
    I::Item: Clone
[src]

Auto Trait Implementations

impl<I> Unpin for PeekMoreIterator<I> where
    I: Unpin,
    <I as Iterator>::Item: Unpin

impl<I> Send for PeekMoreIterator<I> where
    I: Send,
    <I as Iterator>::Item: Send

impl<I> Sync for PeekMoreIterator<I> where
    I: Sync,
    <I as Iterator>::Item: Sync

Blanket Implementations

impl<I> PeekMore for I where
    I: Iterator
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<I> IntoIterator for I where
    I: Iterator
[src]

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, U> Into<U> for T where
    U: From<T>, 
[src]

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

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

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

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.