use std::{fmt::Debug, ops::ControlFlow};
use crate::collector::{Collector, CollectorBase, assert_collector};
#[derive(Clone)]
pub struct TryFold<A, F> {
accum: A,
f: F,
}
impl<A, F> TryFold<A, F> {
#[inline]
pub const fn new<T>(init: A, f: F) -> Self
where
F: FnMut(&mut A, T) -> ControlFlow<()>,
{
assert_collector::<_, T>(TryFold { accum: init, f })
}
}
impl<A, F> CollectorBase for TryFold<A, F> {
type Output = A;
#[inline]
fn finish(self) -> Self::Output {
self.accum
}
}
impl<A, T, F> Collector<T> for TryFold<A, F>
where
F: FnMut(&mut A, T) -> ControlFlow<()>,
{
#[inline]
fn collect(&mut self, item: T) -> ControlFlow<()> {
(self.f)(&mut self.accum, item)
}
}
impl<A: Debug, F> Debug for TryFold<A, F> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("TryFold")
.field("accum", &self.accum)
.finish()
}
}
#[cfg(all(test, feature = "std"))]
mod proptests {
use proptest::collection::vec as propvec;
use proptest::prelude::*;
use proptest::test_runner::TestCaseResult;
use crate::test_utils::{BasicCollectorTester, CollectorTesterExt, PredError};
use super::*;
proptest! {
#[test]
fn all_collect_methods(
nums in propvec(any::<u8>(), ..=9),
) {
all_collect_methods_impl(nums)?;
}
}
fn all_collect_methods_impl(nums: Vec<u8>) -> TestCaseResult {
BasicCollectorTester {
iter_factory: || nums.iter().copied(),
collector_factory: || TryFold::new(Some(0_u8), collector_closure),
should_break_pred: |iter| iter_output(iter).is_none(),
pred: |mut iter, output, remaining| {
let expected = iter_output(&mut iter);
if expected != output {
Err(PredError::IncorrectOutput)
} else if iter.ne(remaining) {
Err(PredError::IncorrectIterConsumption)
} else {
Ok(())
}
},
}
.test_collector()
}
fn collector_closure(sum: &mut Option<u8>, num: u8) -> ControlFlow<()> {
let curr = sum.expect("the correct usage is not to collect again");
*sum = curr.checked_add(num);
if sum.is_none() {
ControlFlow::Break(())
} else {
ControlFlow::Continue(())
}
}
fn iter_output(iter: impl IntoIterator<Item = u8>) -> Option<u8> {
iter.into_iter().try_fold(0_u8, u8::checked_add)
}
}