Diffstat (limited to 'src/effect.rs')
| -rw-r--r-- | src/effect.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/effect.rs b/src/effect.rs index 458ed8a..a994bcd 100644 --- a/src/effect.rs +++ b/src/effect.rs @@ -261,6 +261,14 @@ pub trait EffectiveExt<'lt>: Effective<'lt> { self.map(|(_, value)| value) } + fn remove_value<'wrap, Ctx: Ss, T: Ss>(self) -> ErasedEffective<'wrap, Ctx, Self::Effect> + where + Self: Effective<'lt, Output = (Ctx, T)>, + 'lt: 'wrap, + { + self.map(|(ctx, _)| ctx) + } + fn map<'wrap, U: Ss, F: Ss>(self, f: F) -> ErasedEffective<'wrap, U, Self::Effect> where F: FnOnce(Self::Output) -> U, |