diff --git a/src/func/instances/effect.rs b/src/func/instances/effect.rs index 547309a..72a7dc5 100644 --- a/src/func/instances/effect.rs +++ b/src/func/instances/effect.rs @@ -15,7 +15,7 @@ pub trait Effect: Send { fn e_pure() -> Self; /// Used in [`ApplicativeLA2::la2`] and other [`Applicative`] methods. - fn e_seq(el: Self, er: Self) -> Self; + fn e_parallel(el: Self, er: Self) -> Self; /// Used in [`Monad::bind`] and other [`Monad`] methods. fn e_after(self, effect: Self) -> Self; @@ -79,7 +79,7 @@ impl<'a, E: 'a + Effect> ApplicativeSeq<'a> for EffectInstance { ) -> Self::F { WithEffect { value: (ff.value)(fa.value), - effect: E::e_seq(ff.effect, fa.effect), + effect: E::e_parallel(ff.effect, fa.effect), } } } @@ -92,7 +92,7 @@ impl<'a, E: 'a + Effect> ApplicativeLA2<'a> for EffectInstance { ) -> Self::F { WithEffect { value: f(fa.value, fb.value), - effect: E::e_seq(fa.effect, fb.effect), + effect: E::e_parallel(fa.effect, fb.effect), } } } @@ -101,7 +101,7 @@ impl<'a, E: 'a + Effect> ApplicativeTuple<'a> for EffectInstance { fn tuple((fa, fb): (Self::F, Self::F)) -> Self::F<(A, B)> { WithEffect { value: (fa.value, fb.value), - effect: E::e_seq(fa.effect, fb.effect), + effect: E::e_parallel(fa.effect, fb.effect), } } } @@ -113,7 +113,7 @@ impl<'a, E: 'a + Effect> Applicative<'a> for EffectInstance { drop(fa.value); WithEffect { value: fb.value, - effect: E::e_seq(fa.effect, fb.effect), + effect: E::e_parallel(fa.effect, fb.effect), } } @@ -121,7 +121,7 @@ impl<'a, E: 'a + Effect> Applicative<'a> for EffectInstance { drop(fb.value); WithEffect { value: fa.value, - effect: E::e_seq(fa.effect, fb.effect), + effect: E::e_parallel(fa.effect, fb.effect), } } } diff --git a/src/rstd/counting.rs b/src/rstd/counting.rs index 6e83925..3a5ecb4 100644 --- a/src/rstd/counting.rs +++ b/src/rstd/counting.rs @@ -7,7 +7,7 @@ impl instances::effect::Effect for usize { 0 } - fn e_seq(el: Self, er: Self) -> Self { + fn e_parallel(el: Self, er: Self) -> Self { std::cmp::max(el, er) } diff --git a/src/rstd/tracing.rs b/src/rstd/tracing.rs index 9fc3f87..699e745 100644 --- a/src/rstd/tracing.rs +++ b/src/rstd/tracing.rs @@ -31,7 +31,7 @@ impl instances::effect::Effect for TraceBox { TraceBox::pure() } - fn e_seq(el: Self, er: Self) -> Self { + fn e_parallel(el: Self, er: Self) -> Self { TraceBox::parallel(el, er) }