Diffstat (limited to 'tests/protocol_walker_hint.rs')
| -rw-r--r-- | tests/protocol_walker_hint.rs | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/tests/protocol_walker_hint.rs b/tests/protocol_walker_hint.rs index d15d345..4cb41dd 100644 --- a/tests/protocol_walker_hint.rs +++ b/tests/protocol_walker_hint.rs @@ -3,7 +3,7 @@ use std::any::TypeId; use common::protocol::hint::MockHintWalker; use treaty::{ any::TypeNameId, - effect::{Blocking, Effect, Future, Spin}, + effect::{Blocking, Effect, Future, ReadyValue, Spin}, hkt::higher_ranked_type, protocol::{ walker::hint::{self, Hint, HintMeta, HintProto, Meta, MetaKnown}, @@ -66,14 +66,14 @@ fn can_get_known_and_hint() { let walker: &mut dyn hint::Hint<MyProtocol> = &mut mock; // We can call known to get what the walker knows about the protocol. - assert_eq!(walker.known(&Hint(42)).into_inner(), Ok(Known(42.0))); + assert_eq!(walker.known(&Hint(42)).value(), Ok(Known(42.0))); { // A hint needs the visitor for the walker to walk. let mut mock = MockBuilder::<(), (), ()>::new(); // We can call hint to "commit" to the protocol and ask the walker to use it. - walker.hint(DynVisitor(&mut mock), Hint(123)); + assert_eq!(walker.hint(DynVisitor(&mut mock), Hint(123)).value(), Flow::Done); } } @@ -130,7 +130,7 @@ fn known_can_have_temp_mutable_borrow() { // We can call known to get what the walker knows about the protocol. let mut x = String::from("test"); - assert_eq!(walker.known(&()).into_inner(), Ok(Known(&mut x))); + assert_eq!(walker.known(&()).value(), Ok(Known(&mut x))); } drop(context); @@ -177,16 +177,16 @@ fn known_can_have_context_borrow() { } } - let mut context = String::from("test"); + let context = String::from("test"); let ctx = { - let mut walker = Walker(&mut context); + let mut walker = Walker(&context); // Get the mock as a hint protocol trait object. let walker: &mut dyn Hint<MyProtocol> = &mut walker; // We can call known to get what the walker knows about the protocol. - let Ok(Known(y)) = walker.known(&()).into_inner() else { + let Ok(Known(y)) = walker.known(&()).value() else { unreachable!() }; y @@ -239,7 +239,7 @@ fn hint_can_have_temp_mutable_borrow() { assert_eq!( walker .hint(DynVisitor(&mut visitor), Hint(&mut temp)) - .into_inner(), + .value(), Flow::Done ); @@ -289,7 +289,7 @@ fn hint_can_have_context_borrow() { assert_eq!( walker .hint(DynVisitor(&mut visitor), Hint(&context)) - .into_inner(), + .value(), Flow::Done ); } |