use super::*;
pub enum Selected<'a, A: 'a + Send, B: 'a + Send, T: ?Sized + WeakFunctor<'a>> {
A(A, T::F<B>),
B(T::F<A>, B),
}
pub type SelectedWrapped<'a, A, B, T> = Wrap<'a, Selected<'a, A, B, T>, T>;
pub trait ApplicativeSelect<'a>: Functor<'a> {
fn select<A: 'a + Send, B: 'a + Send>(
fa: Self::F<A>,
fb: Self::F<B>,
) -> SelectedWrapped<'a, A, B, Self> {
Self::fmap(fa, |a| Selected::A(a, fb))
}
}
pub trait ApplicativeSelectExt<'a>: ApplicativeSelect<'a> {
fn select_map<A: 'a + Send, B: 'a + Send, C: 'a + Send>(
fa: Self::F<A>,
fb: Self::F<B>,
f: impl 'a + Send + FnOnce(Selected<'a, A, B, Self>) -> C,
) -> Self::F<C> {
Self::fmap(Self::select(fa, fb), f)
}
}
impl<'a, T: ApplicativeSelect<'a>> ApplicativeSelectExt<'a> for T {}