bendns' repos / treaty
Diffstat (limited to 'src/walk/walkers/core/bool.rs')
-rw-r--r--src/walk/walkers/core/bool.rs8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/walk/walkers/core/bool.rs b/src/walk/walkers/core/bool.rs
index af81c92..307e300 100644
--- a/src/walk/walkers/core/bool.rs
+++ b/src/walk/walkers/core/bool.rs
@@ -1,7 +1,7 @@
use effectful::{
bound::Dynamic,
- effective::Effective,
- environment::{DynBind, Environment, NativeForm},
+ effective::{Canonical, Effective},
+ environment::Environment, DynBind,
};
use crate::{any::OwnedStatic, Walk};
@@ -15,7 +15,7 @@ where
{
type Walker = ValueWalker<bool>;
- fn into_walker<'e>(self) -> NativeForm<'e, Self::Walker, E> {
+ fn into_walker<'e>(self) -> Canonical<'e, Self::Walker, E> {
E::value(ValueWalker::new(self)).cast()
}
}
@@ -27,7 +27,7 @@ where
{
type Walker = ValueWalker<bool>;
- fn into_walker<'e>(self) -> NativeForm<'e, Self::Walker, E> {
+ fn into_walker<'e>(self) -> Canonical<'e, Self::Walker, E> {
E::value(ValueWalker::new(*self)).cast()
}
}