PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

ApplicativeSelectExt lift lifetime

Browse Source
This commit is contained in:
AF 2023-05-26 07:53:20 +00:00
parent d78879f012
commit 3ab54e29e0
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/func/applicative_select.rs
View File

@ -19,17 +19,14 @@ pub trait ApplicativeSelect: Functor {
} }
} }
pub trait ApplicativeSelectExt: ApplicativeSelect { pub trait ApplicativeSelectExt<'a>: 'a + ApplicativeSelect {
fn select_map<'a, A: 'a, B: 'a, C: 'a>( fn select_map<A: 'a, B: 'a, C: 'a>(
f: impl 'a + FnOnce(Selected<'a, A, B, Self>) -> C, f: impl 'a + FnOnce(Selected<'a, A, B, Self>) -> C,
fa: Self::F<'a, A>, fa: Self::F<'a, A>,
fb: Self::F<'a, B>, fb: Self::F<'a, B>,
) -> Self::F<'a, C> ) -> Self::F<'a, C> {
where
Self: 'a,
{
Self::fmap(f, Self::select(fa, fb)) Self::fmap(f, Self::select(fa, fb))
} }
} }
impl<T: ApplicativeSelect> ApplicativeSelectExt for T {} impl<'a, T: 'a + ApplicativeSelect> ApplicativeSelectExt<'a> for T {}