pub struct HeterogeneousShutdownCoordinator<B: Behavior, T>where
T: Selection<Addr = BehaviorAddr<B>>,{ /* private fields */ }Expand description
Pure phased shutdown over an arbitrary closed child-protocol sum.
Each choice is interpreted in plan order through its exact concrete
ShutdownChild<C, Occurrence> request. Phase completion consumes the shared
creator-local creation ID because the child namespace is globally unique. This
phased ordering is Bombay policy, not an actor-model guarantee.
Implementations§
Source§impl<B: Behavior, T> HeterogeneousShutdownCoordinator<B, T>where
T: Selection<Addr = BehaviorAddr<B>> + Copy,
impl<B: Behavior, T> HeterogeneousShutdownCoordinator<B, T>where
T: Selection<Addr = BehaviorAddr<B>> + Copy,
pub const fn new(inner: B, plan: HeterogeneousShutdownPlan<T>) -> Self
Sourcepub const fn awaiting_plan(inner: B) -> Self
pub const fn awaiting_plan(inner: B) -> Self
Start the wrapper before committed heterogeneous children supply a plan.
pub fn state(&self) -> &ShutdownState<HeterogeneousShutdownPlan<T>, CreationId>
Trait Implementations§
Source§impl<B, T, A, Ph, Sends, Br> Behavior for HeterogeneousShutdownCoordinator<B, T>
impl<B, T, A, Ph, Sends, Br> Behavior for HeterogeneousShutdownCoordinator<B, T>
Source§type Protocol = <B as Behavior>::Protocol
type Protocol = <B as Behavior>::Protocol
Stable public communication identity owned by this actor template. Read more
type Event = ShutdownCoordinatorEvent<<B as Behavior>::Event, HeterogeneousShutdownPlan<T>>
type Sends = SendLayer<HeterogeneousShutdownSends<T>, Sends>
type Ph = Ph
type Error = ShutdownCoordinatorError<<B as Behavior>::Error, A, HeterogeneousShutdownPlan<T>>
type Birth = Br
Source§fn init(&mut self, _: InitializationTurn) -> BehaviorActed<Self>
fn init(&mut self, _: InitializationTurn) -> BehaviorActed<Self>
Produce initialization actions before the first event is accepted. Read more
Source§fn transition(
&mut self,
_: ActiveTurn,
event: Self::Event,
) -> BehaviorActed<Self>
fn transition( &mut self, _: ActiveTurn, event: Self::Event, ) -> BehaviorActed<Self>
Fold exactly one event into explicit actions and the next behavior. Read more
Source§fn layer<L>(self, layer: L) -> <L as BehaviorLayer<Self>>::Outputwhere
Self: Sized,
L: BehaviorLayer<Self>,
fn layer<L>(self, layer: L) -> <L as BehaviorLayer<Self>>::Outputwhere
Self: Sized,
L: BehaviorLayer<Self>,
Apply one statically dispatched construction layer. Read more
Source§impl<B, T> BehaviorBase for HeterogeneousShutdownCoordinator<B, T>
impl<B, T> BehaviorBase for HeterogeneousShutdownCoordinator<B, T>
Source§impl<B, T> StashStatus for HeterogeneousShutdownCoordinator<B, T>
impl<B, T> StashStatus for HeterogeneousShutdownCoordinator<B, T>
fn stashed_messages(&self) -> usize
Auto Trait Implementations§
impl<B, T> Freeze for HeterogeneousShutdownCoordinator<B, T>where
B: Freeze,
impl<B, T> RefUnwindSafe for HeterogeneousShutdownCoordinator<B, T>where
B: RefUnwindSafe,
T: RefUnwindSafe,
impl<B, T> Send for HeterogeneousShutdownCoordinator<B, T>where
B: Send,
impl<B, T> Sync for HeterogeneousShutdownCoordinator<B, T>
impl<B, T> Unpin for HeterogeneousShutdownCoordinator<B, T>
impl<B, T> UnsafeUnpin for HeterogeneousShutdownCoordinator<B, T>where
B: UnsafeUnpin,
impl<B, T> UnwindSafe for HeterogeneousShutdownCoordinator<B, T>where
B: UnwindSafe,
T: UnwindSafe,
Blanket Implementations§
Source§impl<B> Activate for Bwhere
B: Behavior,
impl<B> Activate for Bwhere
B: Behavior,
Source§fn initialize(self) -> Result<Initialized<Self>, Self::Error>
fn initialize(self) -> Result<Initialized<Self>, Self::Error>
Consume this definition, perform its one initialization fold, and
return the active behavior together with the ordered initialization
effects. Read more
Source§impl<B> BeginShutdownPhases for B
impl<B> BeginShutdownPhases for B
type Output = ChildShutdownPhases<B, <<<B as Behavior>::Birth as BirthMode>::Child as ChildOccurrenceProduct<AvailableChildren>>::Product, NoPhases>
fn begin_shutdown_phases(self) -> <B as BeginShutdownPhases>::Output
Source§impl<Node> BirthNodeAppend<Never> for Nodewhere
Node: NonEmptyBirthNode,
impl<Node> BirthNodeAppend<Never> for Nodewhere
Node: NonEmptyBirthNode,
Source§type Output = Node
type Output = Node
Closed child algebra containing the complete prefix followed by the
complete appended tail.
Source§fn append_prefix(self) -> <Node as BirthNodeAppend<Never>>::Output
fn append_prefix(self) -> <Node as BirthNodeAppend<Never>>::Output
Inject one child from the existing prefix without changing its
structural occurrence.
Source§fn append_tail(tail: Never) -> <Node as BirthNodeAppend<Never>>::Output
fn append_tail(tail: Never) -> <Node as BirthNodeAppend<Never>>::Output
Inject one child from the appended tail after every prefix occurrence.
Source§fn append_creations<A>(
prefix: Creations<CreateChild<A, Self>>,
tail: Creations<CreateChild<A, Tail>>,
) -> Creations<CreateChild<A, Self::Output>>where
A: Address,
fn append_creations<A>(
prefix: Creations<CreateChild<A, Self>>,
tail: Creations<CreateChild<A, Tail>>,
) -> Creations<CreateChild<A, Self::Output>>where
A: Address,
Preserve and concatenate two ordered creation batches.
Source§impl<Child, Tail> BirthNodeAppend<Tail> for Childwhere
Child: Behavior,
Tail: NonEmptyBirthNode,
impl<Child, Tail> BirthNodeAppend<Tail> for Childwhere
Child: Behavior,
Tail: NonEmptyBirthNode,
Source§type Output = ChildChoice<Child, Tail>
type Output = ChildChoice<Child, Tail>
Closed child algebra containing the complete prefix followed by the
complete appended tail.
Source§fn append_prefix(self) -> <Child as BirthNodeAppend<Tail>>::Output
fn append_prefix(self) -> <Child as BirthNodeAppend<Tail>>::Output
Inject one child from the existing prefix without changing its
structural occurrence.
Source§fn append_tail(tail: Tail) -> <Child as BirthNodeAppend<Tail>>::Output
fn append_tail(tail: Tail) -> <Child as BirthNodeAppend<Tail>>::Output
Inject one child from the appended tail after every prefix occurrence.
Source§fn append_creations<A>(
prefix: Creations<CreateChild<A, Self>>,
tail: Creations<CreateChild<A, Tail>>,
) -> Creations<CreateChild<A, Self::Output>>where
A: Address,
fn append_creations<A>(
prefix: Creations<CreateChild<A, Self>>,
tail: Creations<CreateChild<A, Tail>>,
) -> Creations<CreateChild<A, Self::Output>>where
A: Address,
Preserve and concatenate two ordered creation batches.
Source§impl<B> BirthProtocols for B
impl<B> BirthProtocols for B
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<Node, Shape> ChildOccurrenceProduct<Shape> for Nodewhere
Node: ChildOccurrenceProductAt<ChildHead, Shape>,
Shape: ChildOccurrenceShape,
impl<Node, Shape> ChildOccurrenceProduct<Shape> for Nodewhere
Node: ChildOccurrenceProductAt<ChildHead, Shape>,
Shape: ChildOccurrenceShape,
Source§impl<A, Child, Host> DispatchBirth<A, Host> for Child
impl<A, Child, Host> DispatchBirth<A, Host> for Child
Source§fn dispatch_birth(
self,
id: CreationId,
route: <A as Address>::Nonce,
kind: CreationKind,
host: &mut Host,
) -> impl Future<Output = ItemSettlement<RoutedCreation<A, Child>, <Child as ChildCreationProduct<A, ChildHead>>::Result, CreationRejection, Never>> + Send
fn dispatch_birth( self, id: CreationId, route: <A as Address>::Nonce, kind: CreationKind, host: &mut Host, ) -> impl Future<Output = ItemSettlement<RoutedCreation<A, Child>, <Child as ChildCreationProduct<A, ChildHead>>::Result, CreationRejection, Never>> + Send
Select exactly one concrete child host while preserving creation data
in every non-accepted settlement.