Diffstat (limited to 'src/protocol/visitor/sequence.rs')
| -rw-r--r-- | src/protocol/visitor/sequence.rs | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/protocol/visitor/sequence.rs b/src/protocol/visitor/sequence.rs index d345ed1..2a5f9f3 100644 --- a/src/protocol/visitor/sequence.rs +++ b/src/protocol/visitor/sequence.rs @@ -1,9 +1,10 @@ use core::ops::ControlFlow; use crate::{ + effect::{any_t, Effect, SyncEffect, Yield}, hkt::hkt, nameable, - protocol::{any_t, walker::HintMeta, Yield, Effect, SyncEffect, Visitor}, + protocol::{walker::HintMeta, Visitor}, }; pub trait Sequence<'ctx, E: Effect<'ctx, ControlFlow<(), ()>>> { @@ -33,7 +34,10 @@ pub trait SequenceScope<'ctx, E> where E: Effect<'ctx, ControlFlow<(), Status>>, { - fn next<'a>(&'a mut self, visitor: Visitor<'a, 'ctx, E>) -> Yield<'a, 'ctx, ControlFlow<(), Status>, E> + fn next<'a>( + &'a mut self, + visitor: Visitor<'a, 'ctx, E>, + ) -> Yield<'a, 'ctx, ControlFlow<(), Status>, E> where 'ctx: 'a; } @@ -55,7 +59,9 @@ pub struct Hint { pub len: (usize, Option<usize>), } -impl<'a, 'ctx: 'a, E: Effect<'ctx, ControlFlow<(), ()>>> HintMeta<'ctx> for dyn Sequence<'ctx, E> + '_ { +impl<'a, 'ctx: 'a, E: Effect<'ctx, ControlFlow<(), ()>>> HintMeta<'ctx> + for dyn Sequence<'ctx, E> + '_ +{ type Known = KnownHkt<'ctx>; type Hint = Hint; |