simplify ApplicativeSelect for CompositionClass

This commit is contained in:
AF 2023-05-22 20:59:35 +00:00
parent 7caf80f372
commit b6980cc050

View File

@ -72,7 +72,7 @@ impl<U: ApplicativeTuple, V: ApplicativeTuple> ApplicativeTuple for CompositionC
}
}
impl<U: ApplicativeSelect, V: ApplicativeSelect> ApplicativeSelect for CompositionClass<U, V> {
impl<U: ApplicativeSelect, V: Functor> ApplicativeSelect for CompositionClass<U, V> {
fn select<'a, A: 'a, B: 'a, C: 'a>(
f: impl 'a + FnOnce(Selected<'a, A, B, Self>) -> C,
fa: Self::F<'a, A>,