[][src]Trait futures_util::stream::Stream

#[must_use = "streams do nothing unless polled"]
pub trait Stream {
    type Item;
    fn poll_next(
        self: Pin<&mut Self>,
        cx: &mut Context
    ) -> Poll<Option<Self::Item>>; fn size_hint(&self) -> (usize, Option<usize>) { ... } }

A stream of values produced asynchronously.

If Future<Output = T> is an asynchronous version of T, then Stream<Item = T> is an asynchronous version of Iterator<Item = T>. A stream represents a sequence of value-producing events that occur asynchronously to the caller.

The trait is modeled after Future, but allows poll_next to be called even after a value has been produced, yielding None once the stream has been fully exhausted.

Associated Types

type Item

Values yielded by the stream.

Loading content...

Required methods

fn poll_next(self: Pin<&mut Self>, cx: &mut Context) -> Poll<Option<Self::Item>>

Attempt to pull out the next value of this stream, registering the current task for wakeup if the value is not yet available, and returning None if the stream is exhausted.

Return value

There are several possible return values, each indicating a distinct stream state:

  • Poll::Pending means that this stream's next value is not ready yet. Implementations will ensure that the current task will be notified when the next value may be ready.

  • Poll::Ready(Some(val)) means that the stream has successfully produced a value, val, and may produce further values on subsequent poll_next calls.

  • Poll::Ready(None) means that the stream has terminated, and poll_next should not be invoked again.

Panics

Once a stream is finished, i.e. Ready(None) has been returned, further calls to poll_next may result in a panic or other "bad behavior". If this is difficult to guard against then the fuse adapter can be used to ensure that poll_next always returns Ready(None) in subsequent calls.

Loading content...

Provided methods

fn size_hint(&self) -> (usize, Option<usize>)

Returns the bounds on the remaining length of the stream.

Specifically, size_hint() returns a tuple where the first element is the lower bound, and the second element is the upper bound.

The second half of the tuple that is returned is an Option<usize>. A None here means that either there is no known upper bound, or the upper bound is larger than usize.

Implementation notes

It is not enforced that a stream implementation yields the declared number of elements. A buggy stream may yield less than the lower bound or more than the upper bound of elements.

size_hint() is primarily intended to be used for optimizations such as reserving space for the elements of the stream, but must not be trusted to e.g., omit bounds checks in unsafe code. An incorrect implementation of size_hint() should not lead to memory safety violations.

That said, the implementation should provide a correct estimation, because otherwise it would be a violation of the trait's protocol.

The default implementation returns (0, None) which is correct for any stream.

Loading content...

Implementations on Foreign Types

impl<S> Stream for AssertUnwindSafe<S> where
    S: Stream
[src]

type Item = <S as Stream>::Item

impl<P> Stream for Pin<P> where
    P: DerefMut + Unpin,
    <P as Deref>::Target: Stream
[src]

type Item = <<P as Deref>::Target as Stream>::Item

impl<S> Stream for Box<S> where
    S: Stream + Unpin + ?Sized
[src]

type Item = <S as Stream>::Item

impl<'_, S> Stream for &'_ mut S where
    S: Stream + Unpin + ?Sized
[src]

type Item = <S as Stream>::Item

impl<T> Stream for Receiver<T>[src]

type Item = T

impl<T> Stream for UnboundedReceiver<T>[src]

type Item = T

Loading content...

Implementors

impl<A, B> Stream for Either<A, B> where
    A: Stream,
    B: Stream<Item = A::Item>, 
[src]

type Item = A::Item

impl<Fut> Stream for FlattenStream<Fut> where
    Fut: Future,
    Fut::Output: Stream
[src]

type Item = <Fut::Output as Stream>::Item

impl<Fut> Stream for TryFlattenStream<Fut> where
    Fut: TryFuture,
    Fut::Ok: TryStream<Error = Fut::Error>, 
[src]

type Item = Result<<Fut::Ok as TryStream>::Ok, Fut::Error>

impl<Fut, S> Stream for FlattenSink<Fut, S> where
    Fut: TryFuture<Ok = S>,
    S: TryStream<Error = Fut::Error>, 
[src]

type Item = Result<S::Ok, Fut::Error>

impl<Fut: Future> Stream for futures_util::future::IntoStream<Fut>[src]

type Item = Fut::Output

impl<Fut: Future> Stream for FuturesUnordered<Fut>[src]

type Item = Fut::Output

impl<Fut: Future> Stream for FuturesOrdered<Fut>[src]

type Item = Fut::Output

impl<Fut: Future> Stream for Once<Fut>[src]

type Item = Fut::Output

impl<I> Stream for Iter<I> where
    I: Iterator
[src]

type Item = I::Item

impl<R: AsyncBufRead> Stream for Lines<R>[src]

type Item = Result<String>

impl<S, Item> Stream for Buffer<S, Item> where
    S: Sink<Item> + Stream
[src]

type Item = S::Item

impl<S, Item, E> Stream for SinkErrInto<S, Item, E> where
    S: Sink<Item> + Stream,
    S::Error: Into<E>, 
[src]

type Item = S::Item

impl<S, Item, U, Fut, F> Stream for With<S, Item, U, Fut, F> where
    S: Stream + Sink<Item>,
    F: FnMut(U) -> Fut,
    Fut: Future
[src]

type Item = S::Item

impl<S, Item, U, St, F> Stream for WithFlatMap<S, Item, U, St, F> where
    S: Stream + Sink<Item>,
    F: FnMut(U) -> St,
    St: Stream<Item = Result<Item, S::Error>>, 
[src]

type Item = S::Item

impl<S, SinkItem> Stream for Compat01As03Sink<S, SinkItem> where
    S: Stream01
[src]

type Item = Result<S::Item, S::Error>

impl<S: Stream> Stream for Fuse<S>[src]

type Item = S::Item

impl<S: Stream> Stream for Peekable<S>[src]

type Item = S::Item

impl<S: Stream> Stream for SplitStream<S>[src]

type Item = S::Item

impl<S: Stream, F> Stream for SinkMapErr<S, F>[src]

type Item = S::Item

impl<St> Stream for BufferUnordered<St> where
    St: Stream,
    St::Item: Future
[src]

type Item = <St::Item as Future>::Output

impl<St> Stream for Buffered<St> where
    St: Stream,
    St::Item: Future
[src]

type Item = <St::Item as Future>::Output

impl<St> Stream for Flatten<St> where
    St: Stream,
    St::Item: Stream
[src]

type Item = <St::Item as Stream>::Item

impl<St> Stream for Take<St> where
    St: Stream
[src]

type Item = St::Item

impl<St> Stream for TryBufferUnordered<St> where
    St: TryStream,
    St::Ok: TryFuture<Error = St::Error>, 
[src]

type Item = Result<<St::Ok as TryFuture>::Ok, St::Error>

impl<St> Stream for TryFlatten<St> where
    St: TryStream,
    St::Ok: TryStream,
    <St::Ok as TryStream>::Error: From<St::Error>, 
[src]

type Item = Result<<St::Ok as TryStream>::Ok, <St::Ok as TryStream>::Error>

impl<St, E> Stream for ErrInto<St, E> where
    St: TryStream,
    St::Error: Into<E>, 
[src]

type Item = Result<St::Ok, E>

impl<St, F> Stream for Inspect<St, F> where
    St: Stream,
    F: FnMut(&St::Item), 
[src]

type Item = St::Item

impl<St, F> Stream for InspectErr<St, F> where
    St: TryStream,
    F: FnMut(&St::Error), 
[src]

type Item = Result<St::Ok, St::Error>

impl<St, F> Stream for InspectOk<St, F> where
    St: TryStream,
    F: FnMut(&St::Ok), 
[src]

type Item = Result<St::Ok, St::Error>

impl<St, F, E> Stream for MapErr<St, F> where
    St: TryStream,
    F: FnMut(St::Error) -> E, 
[src]

type Item = Result<St::Ok, E>

impl<St, F, T> Stream for Map<St, F> where
    St: Stream,
    F: FnMut(St::Item) -> T, 
[src]

type Item = T

impl<St, F, T> Stream for MapOk<St, F> where
    St: TryStream,
    F: FnMut(St::Ok) -> T, 
[src]

type Item = Result<T, St::Error>

impl<St, Fut, F> Stream for AndThen<St, Fut, F> where
    St: TryStream,
    F: FnMut(St::Ok) -> Fut,
    Fut: TryFuture<Error = St::Error>, 
[src]

type Item = Result<Fut::Ok, St::Error>

impl<St, Fut, F> Stream for Filter<St, Fut, F> where
    St: Stream,
    F: FnMut(&St::Item) -> Fut,
    Fut: Future<Output = bool>, 
[src]

type Item = St::Item

impl<St, Fut, F> Stream for OrElse<St, Fut, F> where
    St: TryStream,
    F: FnMut(St::Error) -> Fut,
    Fut: TryFuture<Ok = St::Ok>, 
[src]

type Item = Result<St::Ok, Fut::Error>

impl<St, Fut, F> Stream for SkipWhile<St, Fut, F> where
    St: Stream,
    F: FnMut(&St::Item) -> Fut,
    Fut: Future<Output = bool>, 
[src]

type Item = St::Item

impl<St, Fut, F> Stream for TakeWhile<St, Fut, F> where
    St: Stream,
    F: FnMut(&St::Item) -> Fut,
    Fut: Future<Output = bool>, 
[src]

type Item = St::Item

impl<St, Fut, F> Stream for Then<St, Fut, F> where
    St: Stream,
    F: FnMut(St::Item) -> Fut,
    Fut: Future
[src]

type Item = Fut::Output

impl<St, Fut, F> Stream for TryFilter<St, Fut, F> where
    St: TryStream,
    Fut: Future<Output = bool>,
    F: FnMut(&St::Ok) -> Fut, 
[src]

type Item = Result<St::Ok, St::Error>

impl<St, Fut, F> Stream for TrySkipWhile<St, Fut, F> where
    St: TryStream,
    F: FnMut(&St::Ok) -> Fut,
    Fut: TryFuture<Ok = bool, Error = St::Error>, 
[src]

type Item = Result<St::Ok, St::Error>

impl<St, Fut, F, T> Stream for FilterMap<St, Fut, F> where
    St: Stream,
    F: FnMut(St::Item) -> Fut,
    Fut: Future<Output = Option<T>>, 
[src]

type Item = T

impl<St, Fut, F, T> Stream for TryFilterMap<St, Fut, F> where
    St: TryStream,
    Fut: TryFuture<Ok = Option<T>, Error = St::Error>,
    F: FnMut(St::Ok) -> Fut, 
[src]

type Item = Result<T, St::Error>

impl<St1, St2> Stream for Chain<St1, St2> where
    St1: Stream,
    St2: Stream<Item = St1::Item>, 
[src]

type Item = St1::Item

impl<St1, St2> Stream for Select<St1, St2> where
    St1: Stream,
    St2: Stream<Item = St1::Item>, 
[src]

type Item = St1::Item

impl<St1, St2> Stream for Zip<St1, St2> where
    St1: Stream,
    St2: Stream
[src]

type Item = (St1::Item, St2::Item)

impl<St: Stream + Unpin> Stream for SelectAll<St>[src]

type Item = St::Item

impl<St: Stream + UnwindSafe> Stream for CatchUnwind<St>[src]

type Item = Result<St::Item, Box<dyn Any + Send>>

impl<St: Stream> Stream for Chunks<St>[src]

type Item = Vec<St::Item>

impl<St: Stream> Stream for Enumerate<St>[src]

type Item = (usize, St::Item)

impl<St: Stream> Stream for Skip<St>[src]

type Item = St::Item

impl<St: TryStream> Stream for futures_util::stream::IntoStream<St>[src]

type Item = Result<St::Ok, St::Error>

impl<St: Stream01> Stream for Compat01As03<St>[src]

type Item = Result<St::Item, St::Error>

impl<T> Stream for Empty<T>[src]

type Item = T

impl<T> Stream for Pending<T>[src]

type Item = T

impl<T> Stream for Repeat<T> where
    T: Clone
[src]

type Item = T

impl<T, F> Stream for PollFn<F> where
    F: FnMut(&mut Context) -> Poll<Option<T>>, 
[src]

type Item = T

impl<T, F, Fut, Item> Stream for Unfold<T, F, Fut> where
    F: FnMut(T) -> Fut,
    Fut: Future<Output = Option<(Item, T)>>, 
[src]

type Item = Item

Loading content...