Diffstat (limited to 'src/protocol/visitor/sequence.rs')
| -rw-r--r-- | src/protocol/visitor/sequence.rs | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/src/protocol/visitor/sequence.rs b/src/protocol/visitor/sequence.rs index 46c8e71..e9dd721 100644 --- a/src/protocol/visitor/sequence.rs +++ b/src/protocol/visitor/sequence.rs @@ -8,22 +8,24 @@ use crate::{ protocol::{walker::hint::HintMeta, Visitor}, }; -pub trait Sequence<'ctx, E: Effect<'ctx>> { +pub trait Sequence<'ctx> { + type Effect: Effect<'ctx>; + fn visit<'a>( &'a mut self, - scope: &'a mut dyn SequenceScope<'ctx, E>, - ) -> Future<'a, 'ctx, ControlFlow<(), ()>, E>; + scope: &'a mut dyn SequenceScope<'ctx, Self::Effect>, + ) -> Future<'a, 'ctx, ControlFlow<(), ()>, Self::Effect>; } nameable! { pub struct Name['a, 'ctx, E]; - impl [E] for dyn Sequence<'ctx, E> + 'a where { + impl [E] for dyn Sequence<'ctx, Effect = E> + 'a where { E: Effect<'ctx>, 'ctx: 'a } - impl [E] where dyn Sequence<'ctx, E> + 'a { + impl [E] where dyn Sequence<'ctx, Effect = E> + 'a { E: Effect<'ctx>, 'ctx: 'a } @@ -58,7 +60,7 @@ pub struct Hint { pub len: (usize, Option<usize>), } -impl<'a, 'ctx: 'a, E: Effect<'ctx>> HintMeta<'ctx> for dyn Sequence<'ctx, E> + '_ { +impl<'a, 'ctx: 'a, E: Effect<'ctx>> HintMeta<'ctx> for dyn Sequence<'ctx, Effect = E> + '_ { type Known = KnownHkt<'ctx>; type Hint = Hint; |