fix effect method name
This commit is contained in:
parent
45b3e6c2bf
commit
8a8666e7b1
@ -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<E> {
|
||||
) -> Self::F<B> {
|
||||
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<E> {
|
||||
) -> Self::F<C> {
|
||||
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<E> {
|
||||
fn tuple<A: 'a + Send, B: 'a + Send>((fa, fb): (Self::F<A>, Self::F<B>)) -> 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<E> {
|
||||
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<E> {
|
||||
drop(fb.value);
|
||||
WithEffect {
|
||||
value: fa.value,
|
||||
effect: E::e_seq(fa.effect, fb.effect),
|
||||
effect: E::e_parallel(fa.effect, fb.effect),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
@ -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)
|
||||
}
|
||||
|
||||
|
@ -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)
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user