Diffstat (limited to 'src/protocol/visitor/sequence.rs')
| -rw-r--r-- | src/protocol/visitor/sequence.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/protocol/visitor/sequence.rs b/src/protocol/visitor/sequence.rs index 18fcd04..85fbfaa 100644 --- a/src/protocol/visitor/sequence.rs +++ b/src/protocol/visitor/sequence.rs @@ -1,5 +1,8 @@ use effectful::{ - effective::{Canonical, Effective}, environment::{Environment, InEnvironment}, higher_ranked::Rank1, DynBind, SendSync + effective::{Canonical, Effective}, + environment::{Environment, InEnvironment}, + higher_ranked::Rank1, + DynBind, SendSync, }; use crate::{ @@ -48,10 +51,7 @@ impl<E: Environment> InEnvironment for dyn Sequence<'static, E> { pub trait SequenceScope<'src, E: Environment>: DynBind<E> { fn size_hint(&mut self) -> Canonical<'_, (usize, Option<usize>), E>; - fn next<'r>( - &'r mut self, - visitor: DynVisitor<'r, 'src, E>, - ) -> Canonical<'r, Flow, E>; + fn next<'r>(&'r mut self, visitor: DynVisitor<'r, 'src, E>) -> Canonical<'r, Flow, E>; } pub type DynSequenceScope<'r, 'src, E> = &'r mut dyn SequenceScope<'src, E>; |