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

remove unnecessary bounds

Browse Source
This commit is contained in:
AF 2023-05-26 11:10:10 +00:00
parent d3d249fe96
commit bff238ff00
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/func/instances/effect.rs
View File

@ -59,10 +59,7 @@ impl<'a, E: 'a + Effect> Pure<'a> for EffectInstance<E> {
} }
impl<'a, E: 'a + Effect> ApplicativeSeq<'a> for EffectInstance<E> { impl<'a, E: 'a + Effect> ApplicativeSeq<'a> for EffectInstance<E> {
fn seq<A: 'a, B: 'a>(ff: Self::Fa<impl 'a + FnOnce(A) -> B>, fa: Self::Fa<A>) -> Self::Fa<B> fn seq<A: 'a, B: 'a>(ff: Self::Fa<impl 'a + FnOnce(A) -> B>, fa: Self::Fa<A>) -> Self::Fa<B> {
where
Self: 'a,
{
WithEffect { WithEffect {
value: (ff.value)(fa.value), value: (ff.value)(fa.value),
effect: E::e_seq(ff.effect, fa.effect), effect: E::e_seq(ff.effect, fa.effect),
@ -75,10 +72,7 @@ impl<'a, E: 'a + Effect> ApplicativeLA2<'a> for EffectInstance<E> {
f: impl 'a + FnOnce(A, B) -> C, f: impl 'a + FnOnce(A, B) -> C,
fa: Self::Fa<A>, fa: Self::Fa<A>,
fb: Self::Fa<B>, fb: Self::Fa<B>,
) -> Self::Fa<C> ) -> Self::Fa<C> {
where
Self: 'a,
{
WithEffect { WithEffect {
value: f(fa.value, fb.value), value: f(fa.value, fb.value),
effect: E::e_seq(fa.effect, fb.effect), effect: E::e_seq(fa.effect, fb.effect),