Diffstat (limited to 'src/build/builders/core/bool.rs')
| -rw-r--r-- | src/build/builders/core/bool.rs | 46 |
1 files changed, 32 insertions, 14 deletions
diff --git a/src/build/builders/core/bool.rs b/src/build/builders/core/bool.rs index 56ef873..6d80d39 100644 --- a/src/build/builders/core/bool.rs +++ b/src/build/builders/core/bool.rs @@ -1,13 +1,20 @@ -use core::ops::ControlFlow; +use core::{marker::PhantomData, ops::ControlFlow}; use crate::{ any::static_wrapper::OwnedStatic, any_trait, - protocol::{visitor::Value, ControlFlowFor, Effect, SyncEffect}, + protocol::{ + visitor::Value, AnyTraitObj, AnyTraitSendObj, AsyncEffect, ControlFlowFor, Effect, + SyncEffect, + }, + AsVisitor, }; -impl<'ctx> crate::Build<'ctx> for bool { - type Builder = Builder; +impl<'ctx, E: for<'a> Effect<'a, 'ctx>> crate::Build<'ctx, E> for bool +where + Builder<E>: AsVisitor<'ctx, E>, +{ + type Builder = Builder<E>; } #[derive(Debug)] @@ -15,17 +22,16 @@ pub enum Error { Incomplete, } -pub struct Builder(Option<bool>); +pub struct Builder<E>(Option<bool>, PhantomData<fn() -> E>); -impl<'ctx> crate::Builder<'ctx> for Builder { +impl<'ctx, E: for<'a> Effect<'a, 'ctx>> crate::Builder<'ctx, E> for Builder<E> +where + Self: AsVisitor<'ctx, E>, +{ type Error = Error; type Value = bool; - fn as_visitor(&mut self) -> &mut crate::protocol::Visitor<'_, 'ctx> { - self - } - #[inline] fn build(self) -> Result<Self::Value, Self::Error> { self.0.ok_or(Error::Incomplete) @@ -34,19 +40,31 @@ impl<'ctx> crate::Builder<'ctx> for Builder { type Seed = (); fn from_seed(seed: Self::Seed) -> Self { - Self(None) + Self(None, PhantomData) + } +} + +impl<'ctx> AsVisitor<'ctx, SyncEffect> for Builder<SyncEffect> { + fn as_visitor(&mut self) -> crate::protocol::Visitor<'_, 'ctx, SyncEffect> { + AnyTraitObj::from_obj(self) + } +} + +impl<'ctx> AsVisitor<'ctx, AsyncEffect> for Builder<AsyncEffect> { + fn as_visitor(&mut self) -> crate::protocol::Visitor<'_, 'ctx, AsyncEffect> { + AnyTraitSendObj::from_obj_send(self) } } any_trait! { - impl['a, 'ctx] Builder = [ + impl['a, 'ctx, E] Builder<E> = [ dyn Value<'a, OwnedStatic<bool>> + 'a, ] } -impl<'a> Value<'a, OwnedStatic<bool>> for Builder { +impl<'a, 'ctx, E> Value<'a, 'ctx, OwnedStatic<bool>> for Builder<E> { #[inline] - fn visit(&'a mut self, OwnedStatic(value): OwnedStatic<bool>) -> ControlFlowFor<'a> { + fn visit(&'a mut self, OwnedStatic(value): OwnedStatic<bool>) -> ControlFlowFor<'a, 'ctx> { self.0 = Some(value); ControlFlow::Continue(()) } |