Enum Admitted 

pub enum Admitted {}

Route selected after its guard admits it.

Trait Implementations

impl Set for Admitted

type SyncOpen = Track<Open>

type SyncFinished = Track<Finished>

type TaskOpen = Track<Open>

type TaskFinished = Track<Finished>

type DuplexOpen = ()

type DuplexFinished = ()

type UnsupportedOpen = Track<Open>

type UnsupportedFinished = Track<Finished>

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)>