Diffstat (limited to 'src/protocol.rs')
| -rw-r--r-- | src/protocol.rs | 22 |
1 files changed, 3 insertions, 19 deletions
diff --git a/src/protocol.rs b/src/protocol.rs index 605551a..33d73be 100644 --- a/src/protocol.rs +++ b/src/protocol.rs @@ -52,26 +52,10 @@ //! This is done via the help of the [`AnyImpl`] type. This is not required for the core //! idea of DIDETs. -use core::{ - future::Future, - marker::PhantomData, - pin::{pin, Pin}, - ptr, - task::{Context, Poll, RawWaker, RawWakerVTable, Waker}, -}; - -use crate::hkt::{hkt, type_class}; -use crate::{ - any::AnyTrait, - effect::{as_obj, EffectAnyTrait}, -}; - pub mod visitor; pub mod walker; -#[cfg(all(feature = "alloc", not(feature = "std")))] -use alloc::boxed::Box; +use crate::any::AnyTrait; -pub type Visitor<'a, 'ctx, Effect> = - as_obj::T<'a, 'ctx, <Effect as EffectAnyTrait<'ctx>>::AnyTrait>; -pub type Walker<'a, 'ctx, Effect> = as_obj::T<'a, 'ctx, <Effect as EffectAnyTrait<'ctx>>::AnyTrait>; +pub type Visitor<'a, 'ctx> = &'a mut (dyn AnyTrait<'ctx> + Send + 'a); +pub type Walker<'a, 'ctx> = &'a mut (dyn AnyTrait<'ctx> + Send + 'a); |