Diffstat (limited to 'src/walk.rs')
| -rw-r--r-- | src/walk.rs | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/src/walk.rs b/src/walk.rs index 9ba482d..b7d91c6 100644 --- a/src/walk.rs +++ b/src/walk.rs @@ -3,7 +3,9 @@ pub mod walkers; use core::fmt::Debug; use effectful::{ - effective::{Canonical, Effective}, environment::Environment, DynBind, SendSync + effective::{Canonical, Effective}, + environment::Environment, + DynBind, SendSync, }; use crate::{protocol::DynVisitor, Flow}; @@ -48,10 +50,7 @@ pub trait Walker<'src, E: Environment>: DynBind<E> { } pub trait WalkerObjSafe<'src, E: Environment>: DynBind<E> { - fn walk<'r>( - &'r mut self, - visitor: DynVisitor<'r, 'src, E>, - ) -> Canonical<'r, Flow, E>; + fn walk<'r>(&'r mut self, visitor: DynVisitor<'r, 'src, E>) -> Canonical<'r, Flow, E>; } pub type DynWalkerObjSafe<'r, 'src, E> = &'r mut dyn WalkerObjSafe<'src, E>; @@ -116,10 +115,7 @@ where Self: DynBind<E>, { #[inline(always)] - fn walk<'r>( - &'r mut self, - visitor: DynVisitor<'r, 'src, E>, - ) -> Canonical<'r, Flow, E>{ + fn walk<'r>(&'r mut self, visitor: DynVisitor<'r, 'src, E>) -> Canonical<'r, Flow, E> { if let DynWalkerState::Pending(walker) = core::mem::replace(&mut self.state, DynWalkerState::Walking) { @@ -135,7 +131,7 @@ where } Err(err) => { this.state = DynWalkerState::Err(err); - + // Signal that control flow should stop as soon as possible as we // are in an error state. Flow::Err |