|
| 1 | +use crate::unfold_state::UnfoldState; |
| 2 | +use core::fmt; |
| 3 | +use core::pin::Pin; |
| 4 | +use futures_core::stream::{FusedStream, Stream}; |
| 5 | +use futures_core::task::{Context, Poll}; |
| 6 | +use futures_core::{ready, TryFuture}; |
| 7 | +#[cfg(feature = "sink")] |
| 8 | +use futures_sink::Sink; |
| 9 | +use pin_project_lite::pin_project; |
| 10 | + |
| 11 | +pin_project! { |
| 12 | + /// TryStream for the [`try_scan`](super::StreamExt::try_scan) method. |
| 13 | + #[must_use = "streams do nothing unless polled"] |
| 14 | + pub struct TryScan<St, S, Fut, F> { |
| 15 | + #[pin] |
| 16 | + stream: St, |
| 17 | + f: F, |
| 18 | + #[pin] |
| 19 | + state: UnfoldState<S, Fut>, |
| 20 | + } |
| 21 | +} |
| 22 | + |
| 23 | +impl<St, S, Fut, F> fmt::Debug for TryScan<St, S, Fut, F> |
| 24 | +where |
| 25 | + St: Stream + fmt::Debug, |
| 26 | + St::Item: fmt::Debug, |
| 27 | + S: fmt::Debug, |
| 28 | + Fut: fmt::Debug, |
| 29 | +{ |
| 30 | + fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { |
| 31 | + f.debug_struct("TryScan") |
| 32 | + .field("stream", &self.stream) |
| 33 | + .field("state", &self.state) |
| 34 | + .field("done_taking", &self.is_done_taking()) |
| 35 | + .finish() |
| 36 | + } |
| 37 | +} |
| 38 | + |
| 39 | +impl<St: Stream, S, Fut, F> TryScan<St, S, Fut, F> { |
| 40 | + /// Checks if internal state is `None`. |
| 41 | + fn is_done_taking(&self) -> bool { |
| 42 | + matches!(self.state, UnfoldState::Empty) |
| 43 | + } |
| 44 | +} |
| 45 | + |
| 46 | +impl<B, St, S, Fut, F> TryScan<St, S, Fut, F> |
| 47 | +where |
| 48 | + St: Stream, |
| 49 | + F: FnMut(S, St::Item) -> Fut, |
| 50 | + Fut: TryFuture<Ok = Option<(S, B)>>, |
| 51 | +{ |
| 52 | + pub(super) fn new(stream: St, initial_state: S, f: F) -> Self { |
| 53 | + Self { stream, f, state: UnfoldState::Value { value: initial_state } } |
| 54 | + } |
| 55 | +} |
| 56 | + |
| 57 | +impl<B, St, S, Fut, F> Stream for TryScan<St, S, Fut, F> |
| 58 | +where |
| 59 | + St: Stream, |
| 60 | + F: FnMut(S, St::Item) -> Fut, |
| 61 | + Fut: TryFuture<Ok = Option<(S, B)>>, |
| 62 | +{ |
| 63 | + type Item = Result<B, Fut::Error>; |
| 64 | + |
| 65 | + fn poll_next(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Option<Self::Item>> { |
| 66 | + if self.is_done_taking() { |
| 67 | + return Poll::Ready(None); |
| 68 | + } |
| 69 | + |
| 70 | + let mut this = self.project(); |
| 71 | + |
| 72 | + Poll::Ready(loop { |
| 73 | + if let Some(fut) = this.state.as_mut().project_future() { |
| 74 | + match ready!(fut.try_poll(cx)) { |
| 75 | + Ok(None) => { |
| 76 | + this.state.set(UnfoldState::Empty); |
| 77 | + break None; |
| 78 | + } |
| 79 | + Ok(Some((state, item))) => { |
| 80 | + this.state.set(UnfoldState::Value { value: state }); |
| 81 | + break Some(Ok(item)); |
| 82 | + } |
| 83 | + Err(e) => { |
| 84 | + this.state.set(UnfoldState::Empty); |
| 85 | + break Some(Err(e)); |
| 86 | + } |
| 87 | + } |
| 88 | + } else if let Some(item) = ready!(this.stream.as_mut().poll_next(cx)) { |
| 89 | + let state = this.state.as_mut().take_value().unwrap(); |
| 90 | + this.state.set(UnfoldState::Future { future: (this.f)(state, item) }) |
| 91 | + } else { |
| 92 | + break None; |
| 93 | + } |
| 94 | + }) |
| 95 | + } |
| 96 | + |
| 97 | + fn size_hint(&self) -> (usize, Option<usize>) { |
| 98 | + if self.is_done_taking() { |
| 99 | + (0, Some(0)) |
| 100 | + } else { |
| 101 | + self.stream.size_hint() // can't know a lower bound, due to the predicate |
| 102 | + } |
| 103 | + } |
| 104 | +} |
| 105 | + |
| 106 | +impl<B, St, S, Fut, F> FusedStream for TryScan<St, S, Fut, F> |
| 107 | +where |
| 108 | + St: FusedStream, |
| 109 | + F: FnMut(S, St::Item) -> Fut, |
| 110 | + Fut: TryFuture<Ok = Option<(S, B)>>, |
| 111 | +{ |
| 112 | + fn is_terminated(&self) -> bool { |
| 113 | + self.is_done_taking() |
| 114 | + || !matches!(self.state, UnfoldState::Future { .. }) && self.stream.is_terminated() |
| 115 | + } |
| 116 | +} |
| 117 | + |
| 118 | +// Forwarding impl of Sink from the underlying stream |
| 119 | +#[cfg(feature = "sink")] |
| 120 | +impl<St, S, Fut, F, Item> Sink<Item> for TryScan<St, S, Fut, F> |
| 121 | +where |
| 122 | + St: Stream + Sink<Item>, |
| 123 | +{ |
| 124 | + type Error = St::Error; |
| 125 | + |
| 126 | + delegate_sink!(stream, Item); |
| 127 | +} |
0 commit comments