Diffstat (limited to 'src/protocol/visitor/value.rs')
| -rw-r--r-- | src/protocol/visitor/value.rs | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/protocol/visitor/value.rs b/src/protocol/visitor/value.rs index 8e7902c..3e9a3bc 100644 --- a/src/protocol/visitor/value.rs +++ b/src/protocol/visitor/value.rs @@ -8,7 +8,6 @@ use crate::{ higher_ranked_type, hkt::AnySend, nameable, - never::Never, protocol::{walker::hint::HintMeta, Visitor}, Flow, }; @@ -50,12 +49,12 @@ nameable! { } higher_ranked_type! { - pub type Known['ctx]: (AnySend) = for<'lt> () + pub type ValueKnownHkt['ctx]: (AnySend) = for<'lt> () } // This enrolls the Value protocol into the walker hint system. impl<'a, 'ctx: 'a, T, E: Effect<'ctx>> HintMeta<'ctx> for DynValue<'a, 'ctx, T, E> { - type Known = Known<'ctx>; + type Known = ValueKnownHkt<'ctx>; type Hint = (); } @@ -70,17 +69,17 @@ pub fn visit_value<'a, 'ctx, T: TypeNameable<'a, 'ctx>, E: Effect<'ctx>>( Flow::Continue => { // The visitor wants the walker to continue to it's normal // walking. - Status::Continue + Status::r#continue() } Flow::Break | Flow::Done => { // The visitor is done (either because of an error or because // it already used a hint). - Status::Break + Status::r#break() } }) } else { // If the visitor doesn't support request hint then we continue. - E::ready(Status::Skipped) + E::ready(Status::skipped()) } } |