bendns' repos / treaty
Diffstat (limited to 'src/lib.rs')
-rw-r--r--src/lib.rs24
1 files changed, 12 insertions, 12 deletions
diff --git a/src/lib.rs b/src/lib.rs
index c103de6..e9627c5 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -8,18 +8,18 @@
extern crate alloc;
pub mod any;
-// mod build;
+mod build;
pub mod effect;
pub mod hkt;
-// pub mod macros;
-// pub mod protocol;
+pub mod macros;
+pub mod protocol;
pub mod symbol;
-// mod transform;
-// mod walk;
+mod transform;
+mod walk;
-// pub use build::*;
-// pub use transform::*;
-// pub use walk::*;
+pub use build::*;
+pub use transform::*;
+pub use walk::*;
use symbol::Symbol;
@@ -130,14 +130,14 @@ macro_rules! Walk {
index: usize,
value: &'ctx Self::T,
visitor: $crate::protocol::DynVisitor<'a, 'ctx>,
- ) -> $crate::effect::ObjSafe<'a, Result<$crate::Flow, Self::FieldError>, E> {
+ ) -> $crate::effect::ErasedEffective<'a, Result<$crate::Flow, Self::FieldError>, E> {
mod fields {
enum Fields {$($field),*}
$(pub const $field: usize = Fields::$field as usize;)*
}
- use $crate::effect::Adapters;
+ use $crate::effect::Effective;
match index {
$(fields::$field => {
@@ -154,7 +154,7 @@ macro_rules! Walk {
Err(err) => {
Err(FieldError(FieldErrorKind::$field(err)))
}
- }).into()
+ }).into_erased()
// E::map($crate::Walker::<'ctx, E>::walk(walker, visitor), |result| match result {
// Ok(_) => {
@@ -165,7 +165,7 @@ macro_rules! Walk {
// }
// })
})*
- _ => E::ready(Ok($crate::Flow::Done)).into()
+ _ => E::ready(Ok($crate::Flow::Done)).into_erased()
}
}
}