Struct Pass 

pub struct Pass;

Zero-state payload-preserving transition.

Trait Implementations

impl<P, F, G> Map<P, F, G> for Pass

where F: Set, G: Set<SyncOpen = F::SyncOpen, SyncFinished = F::SyncFinished, TaskOpen = F::TaskOpen, TaskFinished = F::TaskFinished, DuplexOpen = F::DuplexOpen, DuplexFinished = F::DuplexFinished, UnsupportedOpen = F::UnsupportedOpen, UnsupportedFinished = F::UnsupportedFinished>,

type Break = !

type Retained = ()

fn sync_open<S: Slot<P>>( self, slot: S, body: F::SyncOpen, ) -> ControlFlow<Infallible, ((), S, F::SyncOpen)>

fn sync_done<S: Slot<P>>( self, slot: S, body: F::SyncFinished, ) -> ControlFlow<Infallible, ((), S, F::SyncFinished)>

fn task_open<S: Slot<P>>( self, slot: S, body: F::TaskOpen, ) -> ControlFlow<Infallible, ((), S, F::TaskOpen)>

fn task_done<S: Slot<P>>( self, slot: S, body: F::TaskFinished, ) -> ControlFlow<Infallible, ((), S, F::TaskFinished)>

fn duplex_open<S: Slot<P>>( self, slot: S, body: F::DuplexOpen, ) -> ControlFlow<Infallible, ((), S, F::DuplexOpen)>

fn duplex_done<S: Slot<P>>( self, slot: S, body: F::DuplexFinished, ) -> ControlFlow<Infallible, ((), S, F::DuplexFinished)>

fn reject_open<S: Slot<P>>( self, slot: S, body: F::UnsupportedOpen, ) -> ControlFlow<Infallible, ((), S, F::UnsupportedOpen)>

fn reject_done<S: Slot<P>>( self, slot: S, body: F::UnsupportedFinished, ) -> ControlFlow<Infallible, ((), S, F::UnsupportedFinished)>

impl<P, E> TryVisit<P, Routed, Admitted, E> for Pass

type Break<T, C> = Result<T, (Error<E, !, !>, C)>

fn sync_open<S: Slot<P>, C, T>( &mut self, flow: ControlFlow<Self::Break<T, C>, S>, body: <Routed as Set>::SyncOpen, ) -> ControlFlow<Self::Break<T, C>, (S, <Admitted as Set>::SyncOpen)>

fn sync_done<S: Slot<P>, C, T>( &mut self, flow: ControlFlow<Self::Break<T, C>, S>, body: <Routed as Set>::SyncFinished, ) -> ControlFlow<Self::Break<T, C>, (S, <Admitted as Set>::SyncFinished)>

fn task_open<S: Slot<P>, C, T>( &mut self, flow: ControlFlow<Self::Break<T, C>, S>, body: <Routed as Set>::TaskOpen, ) -> ControlFlow<Self::Break<T, C>, (S, <Admitted as Set>::TaskOpen)>

fn task_done<S: Slot<P>, C, T>( &mut self, flow: ControlFlow<Self::Break<T, C>, S>, body: <Routed as Set>::TaskFinished, ) -> ControlFlow<Self::Break<T, C>, (S, <Admitted as Set>::TaskFinished)>

fn duplex_open<S: Slot<P>, C, T>( &mut self, flow: ControlFlow<Self::Break<T, C>, S>, body: <Routed as Set>::DuplexOpen, ) -> ControlFlow<Self::Break<T, C>, (S, <Admitted as Set>::DuplexOpen)>

fn duplex_done<S: Slot<P>, C, T>( &mut self, flow: ControlFlow<Self::Break<T, C>, S>, body: <Routed as Set>::DuplexFinished, ) -> ControlFlow<Self::Break<T, C>, (S, <Admitted as Set>::DuplexFinished)>

fn reject_open<S: Slot<P>, C, T>( &mut self, flow: ControlFlow<Self::Break<T, C>, S>, body: <Routed as Set>::UnsupportedOpen, ) -> ControlFlow<Self::Break<T, C>, (S, <Admitted as Set>::UnsupportedOpen)>

fn reject_done<S: Slot<P>, C, T>( &mut self, flow: ControlFlow<Self::Break<T, C>, S>, body: <Routed as Set>::UnsupportedFinished, ) -> ControlFlow<Self::Break<T, C>, (S, <Admitted as Set>::UnsupportedFinished)>

impl<P> Visit<P, Routed, Admitted> for Pass

type Break = !

fn sync_open<S: Slot<P>>( &mut self, slot: S, body: <Routed as Set>::SyncOpen, ) -> ControlFlow<Self::Break, (S, <Admitted as Set>::SyncOpen)>

fn sync_done<S: Slot<P>>( &mut self, slot: S, body: <Routed as Set>::SyncFinished, ) -> ControlFlow<Self::Break, (S, <Admitted as Set>::SyncFinished)>

fn task_open<S: Slot<P>>( &mut self, slot: S, body: <Routed as Set>::TaskOpen, ) -> ControlFlow<Self::Break, (S, <Admitted as Set>::TaskOpen)>

fn task_done<S: Slot<P>>( &mut self, slot: S, body: <Routed as Set>::TaskFinished, ) -> ControlFlow<Self::Break, (S, <Admitted as Set>::TaskFinished)>

fn duplex_open<S: Slot<P>>( &mut self, slot: S, body: <Routed as Set>::DuplexOpen, ) -> ControlFlow<Self::Break, (S, <Admitted as Set>::DuplexOpen)>

fn duplex_done<S: Slot<P>>( &mut self, slot: S, body: <Routed as Set>::DuplexFinished, ) -> ControlFlow<Self::Break, (S, <Admitted as Set>::DuplexFinished)>

fn reject_open<S: Slot<P>>( &mut self, slot: S, body: <Routed as Set>::UnsupportedOpen, ) -> ControlFlow<Self::Break, (S, <Admitted as Set>::UnsupportedOpen)>

fn reject_done<S: Slot<P>>( &mut self, slot: S, body: <Routed as Set>::UnsupportedFinished, ) -> ControlFlow<Self::Break, (S, <Admitted as Set>::UnsupportedFinished)>