bendns' repos / treaty
Diffstat (limited to 'src/protocol.rs')
-rw-r--r--src/protocol.rs86
1 files changed, 59 insertions, 27 deletions
diff --git a/src/protocol.rs b/src/protocol.rs
index 0d25b0f..b330750 100644
--- a/src/protocol.rs
+++ b/src/protocol.rs
@@ -57,45 +57,77 @@ pub mod walker;
use core::ops::{Deref, DerefMut};
-use effectful::{
- bound::{IsSend, IsSync},
- environment::Environment,
- SendSync,
-};
+use effectful::{environment::Environment, SendSync};
use crate::any::AnyTrait;
+use effectful::environment::DynBind;
+use effectful::environment::EnvConfig;
+
+pub trait AnyTraitDynBind<'a, 'ctx, E: EnvConfig>: AnyTrait<'ctx> + DynBind<E> {
+ fn cast(&self) -> &(dyn AnyTrait<'ctx> + 'a);
+ fn cast_mut(&mut self) -> &mut (dyn AnyTrait<'ctx> + 'a);
+ fn cast_mut2(&mut self) -> &mut dyn AnyTrait<'ctx>;
+
+ fn cast_bind_mut<'b>(&'b mut self) -> &'b mut (dyn AnyTraitDynBind<'b, 'ctx, E> + 'b)
+ where
+ 'a: 'b;
+}
+
+impl<'a, 'ctx, E: EnvConfig, T> AnyTraitDynBind<'a, 'ctx, E> for T
+where
+ T: AnyTrait<'ctx> + DynBind<E> + 'a,
+{
+ fn cast(&self) -> &(dyn AnyTrait<'ctx> + 'a) {
+ self
+ }
+
+ fn cast_mut(&mut self) -> &mut (dyn AnyTrait<'ctx> + 'a) {
+ self
+ }
+
+ fn cast_mut2(&mut self) -> &mut dyn AnyTrait<'ctx> {
+ self
+ }
+
+ fn cast_bind_mut<'b>(&'b mut self) -> &'b mut (dyn AnyTraitDynBind<'b, 'ctx, E> + 'b)
+ where
+ 'a: 'b,
+ {
+ self
+ }
+}
#[derive(SendSync)]
-pub struct DynVisitor<'a, 'ctx, Env: Environment>(pub &'a mut (dyn AnyTrait<'ctx, Env> + 'a));
+pub struct DynVisitor<'a, 'ctx, E: EnvConfig>(pub &'a mut (dyn AnyTraitDynBind<'a, 'ctx, E> + 'a));
-impl<'a, 'ctx, Env: Environment> DynVisitor<'a, 'ctx, Env> {
- pub fn cast<'b>(&'b mut self) -> DynVisitor<'b, 'ctx, Env> {
- DynVisitor(&mut *self.0)
+impl<'a, 'ctx, E: EnvConfig> DynVisitor<'a, 'ctx, E> {
+ pub fn cast<'b>(&'b mut self) -> DynVisitor<'b, 'ctx, E> {
+ DynVisitor(self.0.cast_bind_mut())
}
}
-impl<'a, 'ctx, Env: Environment> Deref for DynVisitor<'a, 'ctx, Env> {
- type Target = dyn AnyTrait<'ctx, Env> + 'a;
+impl<'a, 'ctx, E: EnvConfig> Deref for DynVisitor<'a, 'ctx, E> {
+ type Target = dyn AnyTrait<'ctx> + 'a;
fn deref(&self) -> &Self::Target {
- &*self.0
+ self.0.cast()
}
}
-impl<'a, 'ctx, Env: Environment> DerefMut for DynVisitor<'a, 'ctx, Env> {
+impl<'a, 'ctx, E: EnvConfig> DerefMut for DynVisitor<'a, 'ctx, E> {
fn deref_mut(&mut self) -> &mut Self::Target {
- &mut *self.0
+ self.0.cast_mut()
}
}
-pub trait AsVisitor<'ctx, Env: Environment> {
- fn as_visitor<'a>(&'a mut self) -> DynVisitor<'a, 'ctx, Env>
+pub trait AsVisitor<'ctx, E: EnvConfig> {
+ fn as_visitor<'a>(&'a mut self) -> DynVisitor<'a, 'ctx, E>
where
'ctx: 'a;
}
-impl<'b, 'ctx, Env: Environment> AsVisitor<'ctx, Env> for DynVisitor<'b, 'ctx, Env> {
- fn as_visitor<'a>(&'a mut self) -> DynVisitor<'a, 'ctx, Env>
+impl<'b, 'ctx, E: EnvConfig> AsVisitor<'ctx, E> for DynVisitor<'b, 'ctx, E> {
+ fn as_visitor<'a>(&'a mut self) -> DynVisitor<'a, 'ctx, E>
where
'ctx: 'a,
{
@@ -104,24 +136,24 @@ impl<'b, 'ctx, Env: Environment> AsVisitor<'ctx, Env> for DynVisitor<'b, 'ctx, E
}
#[derive(SendSync)]
-pub struct DynWalker<'a, 'ctx, Env: Environment>(pub &'a mut (dyn AnyTrait<'ctx, Env> + 'a));
+pub struct DynWalker<'a, 'ctx, E: EnvConfig>(pub &'a mut (dyn AnyTraitDynBind<'a, 'ctx, E> + 'a));
-impl<'a, 'ctx, Env: Environment> DynWalker<'a, 'ctx, Env> {
- pub fn cast<'b>(&'b mut self) -> DynWalker<'b, 'ctx, Env> {
- DynWalker(&mut *self.0)
+impl<'a, 'ctx, E: EnvConfig> DynWalker<'a, 'ctx, E> {
+ pub fn cast<'b>(&'b mut self) -> DynWalker<'b, 'ctx, E> {
+ DynWalker(self.0.cast_bind_mut())
}
}
-impl<'a, 'ctx, Env: Environment> Deref for DynWalker<'a, 'ctx, Env> {
- type Target = dyn AnyTrait<'ctx, Env> + 'a;
+impl<'a, 'ctx, E: EnvConfig> Deref for DynWalker<'a, 'ctx, E> {
+ type Target = dyn AnyTrait<'ctx> + 'a;
fn deref(&self) -> &Self::Target {
- &*self.0
+ self.0.cast()
}
}
-impl<'a, 'ctx, Env: Environment> DerefMut for DynWalker<'a, 'ctx, Env> {
+impl<'a, 'ctx, E: EnvConfig> DerefMut for DynWalker<'a, 'ctx, E> {
fn deref_mut(&mut self) -> &mut Self::Target {
- &mut *self.0
+ self.0.cast_mut()
}
}