use core::fmt;
use crate::{
Covar, DoubleEndedLender, FusedLender, Lend, Lender, Lending, higher_order::FnMutHKAOpt,
};
#[derive(Clone)]
#[must_use = "lenders are lazy and do nothing unless consumed"]
pub struct FilterMap<L, F> {
pub(crate) lender: L,
pub(crate) f: Covar<F>,
}
impl<L, F> FilterMap<L, F> {
#[inline(always)]
pub fn into_inner(self) -> L {
self.lender
}
#[inline(always)]
pub fn into_parts(self) -> (L, Covar<F>) {
(self.lender, self.f)
}
}
impl<L: Lender, F> FilterMap<L, F> {
#[inline(always)]
pub(crate) fn new(lender: L, f: Covar<F>) -> FilterMap<L, F> {
let _ = L::__check_covariance(crate::CovariantProof::new());
FilterMap { lender, f }
}
}
impl<L: fmt::Debug, F> fmt::Debug for FilterMap<L, F> {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
f.debug_struct("FilterMap")
.field("lender", &self.lender)
.finish_non_exhaustive()
}
}
impl<'lend, L, F> Lending<'lend> for FilterMap<L, F>
where
F: for<'all> FnMutHKAOpt<'all, Lend<'all, L>>,
L: Lender,
{
type Lend = <F as FnMutHKAOpt<'lend, Lend<'lend, L>>>::B;
}
impl<L, F> Lender for FilterMap<L, F>
where
for<'all> F: FnMutHKAOpt<'all, Lend<'all, L>>,
L: Lender,
{
crate::unsafe_assume_covariance!();
#[inline]
fn next(&mut self) -> Option<Lend<'_, Self>> {
while let Some(x) = self.lender.next() {
if let Some(y) = (self.f.as_inner_mut())(x) {
return Some(unsafe { core::mem::transmute::<Lend<'_, Self>, Lend<'_, Self>>(y) });
}
}
None
}
#[inline]
fn count(mut self) -> usize {
let mut count = 0;
while let Some(x) = self.lender.next() {
if (self.f.as_inner_mut())(x).is_some() {
count += 1;
}
}
count
}
#[inline]
fn size_hint(&self) -> (usize, Option<usize>) {
let (_, upper) = self.lender.size_hint();
(0, upper)
}
}
impl<L, F> DoubleEndedLender for FilterMap<L, F>
where
for<'all> F: FnMutHKAOpt<'all, Lend<'all, L>>,
L: DoubleEndedLender,
{
#[inline]
fn next_back(&mut self) -> Option<Lend<'_, Self>> {
while let Some(x) = self.lender.next_back() {
if let Some(y) = (self.f.as_inner_mut())(x) {
return Some(unsafe { core::mem::transmute::<Lend<'_, Self>, Lend<'_, Self>>(y) });
}
}
None
}
}
impl<L, F> FusedLender for FilterMap<L, F>
where
for<'all> F: FnMutHKAOpt<'all, Lend<'all, L>>,
L: FusedLender,
{
}