bendns' repos / treaty
Diffstat (limited to 'src/walk/walkers/core/bool.rs')
-rw-r--r--src/walk/walkers/core/bool.rs11
1 files changed, 6 insertions, 5 deletions
diff --git a/src/walk/walkers/core/bool.rs b/src/walk/walkers/core/bool.rs
index 13ae546..669978e 100644
--- a/src/walk/walkers/core/bool.rs
+++ b/src/walk/walkers/core/bool.rs
@@ -1,22 +1,23 @@
+use effectful::environment::{Environment, NativeForm};
+
use crate::{
- effect::{Effect, ErasedEffective},
Walk,
};
use super::value::ValueWalker;
-impl<'ctx, M, E: Effect> Walk<'ctx, M, E> for bool {
+impl<'ctx, M, E: Environment> Walk<'ctx, M, E> for bool {
type Walker = ValueWalker<bool>;
- fn into_walker<'e>(self) -> ErasedEffective<'e, Self::Walker, E> {
+ fn into_walker<'e>(self) -> NativeForm<'e, Self::Walker, E> {
E::ready(ValueWalker::new(self))
}
}
-impl<'ctx, M, E: Effect> Walk<'ctx, M, E> for &'ctx bool {
+impl<'ctx, M, E: Environment> Walk<'ctx, M, E> for &'ctx bool {
type Walker = ValueWalker<bool>;
- fn into_walker<'e>(self) -> ErasedEffective<'e, Self::Walker, E> {
+ fn into_walker<'e>(self) -> NativeForm<'e, Self::Walker, E> {
E::ready(ValueWalker::new(*self))
}
}