Diffstat (limited to 'src/walk/walkers/core/key_value.rs')
| -rw-r--r-- | src/walk/walkers/core/key_value.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/walk/walkers/core/key_value.rs b/src/walk/walkers/core/key_value.rs index 28b1e52..0ed7a28 100644 --- a/src/walk/walkers/core/key_value.rs +++ b/src/walk/walkers/core/key_value.rs @@ -1,6 +1,6 @@ use effectful::{ - effective::Effective, - environment::{Environment, NativeForm}, + effective::{Canonical, Effective}, + environment::Environment, SendSync, }; @@ -53,10 +53,10 @@ where type Output = (); #[inline(always)] - fn walk<'b: 'c, 'c>( + fn walk<'b: 'c, 'd: 'c, 'c>( self, - visitor: DynVisitor<'b, 'ctx, E>, - ) -> NativeForm<'c, Result<Self::Output, Self::Error>, E> { + visitor: DynVisitor<'b, 'd, 'ctx, E>, + ) -> Canonical<'c, Result<Self::Output, Self::Error>, E> { let Self { key_walker, value_walker, @@ -64,7 +64,7 @@ where } = self; E::value(visitor) - .update(key_walker, |key_walker, visitor| { + .update_map(key_walker, |key_walker, visitor| { visit_tag::<tags::Key, E, _>(TagConst, visitor.cast(), key_walker) .map((), |_, result| match result { Ok(visit) => visit.unit_skipped(), |