Skip to main content

DynamicSupervisor

Struct DynamicSupervisor 

Source
pub struct DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute>
where Worker: Behavior, Plan: ActivationPlan, BehaviorAddr<Worker>: EndpointAddress, StableProxy<Worker, Plan>: Behavior<Protocol = Worker::Protocol>,
{ /* private fields */ }
Expand description

One bounded keyed supervisor with a stable proxy per retained service.

Trait Implementations§

Source§

impl<Key, Worker, Plan, LifecycleRoute, DiagnosticRouteType> Behavior for DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRouteType>
where Key: Clone + Ord + Send + Sync, Worker: Behavior + Send, Plan: ActivationPlan, BehaviorAddr<Worker>: EndpointAddress, <BehaviorAddr<Worker> as Address>::Nonce: Send, StableProxy<Worker, Plan>: Behavior<Protocol = Worker::Protocol>, EstablishedActor<StableProxy<Worker, Plan>>: Clone + Send, LifecycleRoute: DeliveryRoute<Protocol = MessageProtocol<BehaviorAddr<Worker>, DynamicLifecycle<Key, Worker, Plan>>> + Clone, LifecycleRoute::Sends: SendsFor<DynamicSupervisorEvent<Key, Worker, Plan>>, DiagnosticRouteType: DiagnosticRoute<DynamicDiagnostic<Key, Worker, Plan>> + Clone,

Source§

type Protocol = MessageProtocol<<<Worker as Behavior>::Protocol as Protocol>::Addr, DynamicCommand<Key, Worker, Plan>>

Stable public communication identity owned by this actor template. Read more
Source§

type Event = DynamicSupervisorEvent<Key, Worker, Plan>

Source§

type Sends = DynamicSupervisorRequests<InterpreterRequests<ObserveChild<<Worker as Behavior>::Protocol, ChildHead>>, SourceActions<ProxyOperation<Here, Worker, Plan>>, SourceActions<ScheduleAfter>, <ReplyRoute<MessageProtocol<<<Worker as Behavior>::Protocol as Protocol>::Addr, Result<WorkerChangeReceipt<Key>, WorkerChangeRejection<Key, Worker, Plan, StartRejection>>>> as DeliveryRoute>::Sends, <ReplyRoute<MessageProtocol<<<Worker as Behavior>::Protocol as Protocol>::Addr, Result<WorkerChangeReceipt<Key>, WorkerChangeRejection<Key, Worker, Plan, ReplaceRejection>>>> as DeliveryRoute>::Sends, <ReplyRoute<MessageProtocol<<<Worker as Behavior>::Protocol as Protocol>::Addr, Result<Key, StopRejection<Key>>>> as DeliveryRoute>::Sends, <ReplyRoute<MessageProtocol<<<Worker as Behavior>::Protocol as Protocol>::Addr, QueryReply<Key, <Worker as Behavior>::Protocol>>> as DeliveryRoute>::Sends, <ReplyRoute<MessageProtocol<<<Worker as Behavior>::Protocol as Protocol>::Addr, CancellationReceipt<Key, Worker, Plan>>> as DeliveryRoute>::Sends, <LifecycleRoute as DeliveryRoute>::Sends, InterpreterRequests<DiagnosticAction<DiagnosticRouteType, DynamicDiagnostic<Key, Worker, Plan>>>>

Source§

type Ph = Never

Source§

type Error = DynamicSupervisorEvent<Key, Worker, Plan>

Source§

type Birth = Births<StableProxy<Worker, Plan>>

Source§

fn init(&mut self, _: InitializationTurn) -> BehaviorActed<Self>

Produce initialization actions before the first event is accepted. Read more
Source§

fn transition( &mut self, _: ActiveTurn, input: 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>>::Output
where Self: Sized, L: BehaviorLayer<Self>,

Apply one statically dispatched construction layer. Read more
Source§

impl<Key, Worker, Plan, LifecycleRoute, DiagnosticRouteType> BehaviorBase for DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRouteType>
where Worker: Behavior, Plan: ActivationPlan, BehaviorAddr<Worker>: EndpointAddress, StableProxy<Worker, Plan>: Behavior<Protocol = Worker::Protocol>,

Source§

type Base = DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRouteType>

Source§

fn base(&self) -> &Self::Base

Auto Trait Implementations§

§

impl<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute> Freeze for DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute>
where <<Worker as Behavior>::Protocol as Protocol>::Addr: Sized, LifecycleRoute: Freeze, DiagnosticRoute: Freeze,

§

impl<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute> RefUnwindSafe for DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute>
where <<Worker as Behavior>::Protocol as Protocol>::Addr: Sized + RefUnwindSafe, LifecycleRoute: RefUnwindSafe, DiagnosticRoute: RefUnwindSafe, Key: RefUnwindSafe, Worker: RefUnwindSafe, Plan: RefUnwindSafe, <<<Worker as Behavior>::Protocol as Protocol>::Addr as EndpointAddress>::Installed<StableProxy<Worker, Plan>>: RefUnwindSafe, <Plan as ActivationPlan>::Ready: RefUnwindSafe, <<Worker as Behavior>::Protocol as Protocol>::Msg: RefUnwindSafe, <Worker as Behavior>::Error: RefUnwindSafe, <Plan as ActivationPlan>::Rejection: RefUnwindSafe, <<<Worker as Behavior>::Protocol as Protocol>::Addr as EndpointAddress>::Established<<Worker as Behavior>::Protocol>: RefUnwindSafe, <Worker as Behavior>::Sends: RefUnwindSafe, <Worker as Behavior>::Ph: RefUnwindSafe, <<Worker as Behavior>::Birth as BirthMode>::Child: RefUnwindSafe,

§

impl<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute> Send for DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute>
where <<Worker as Behavior>::Protocol as Protocol>::Addr: Sized + Send, LifecycleRoute: Send, DiagnosticRoute: Send, Key: Send, Worker: Send, <<<Worker as Behavior>::Protocol as Protocol>::Addr as EndpointAddress>::Installed<StableProxy<Worker, Plan>>: Send, <<Worker as Behavior>::Protocol as Protocol>::Msg: Send, <Worker as Behavior>::Error: Send, <<<Worker as Behavior>::Protocol as Protocol>::Addr as EndpointAddress>::Established<<Worker as Behavior>::Protocol>: Send, <Worker as Behavior>::Sends: Send, <Worker as Behavior>::Ph: Send, <<Worker as Behavior>::Birth as BirthMode>::Child: Send,

§

impl<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute> Sync for DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute>
where <<Worker as Behavior>::Protocol as Protocol>::Addr: Sized + Sync, LifecycleRoute: Sync, DiagnosticRoute: Sync, Key: Sync, Worker: Sync, Plan: Sync, <<<Worker as Behavior>::Protocol as Protocol>::Addr as EndpointAddress>::Installed<StableProxy<Worker, Plan>>: Sync, <Plan as ActivationPlan>::Ready: Sync, <<Worker as Behavior>::Protocol as Protocol>::Msg: Sync, <Worker as Behavior>::Error: Sync, <Plan as ActivationPlan>::Rejection: Sync, <<<Worker as Behavior>::Protocol as Protocol>::Addr as EndpointAddress>::Established<<Worker as Behavior>::Protocol>: Sync, <Worker as Behavior>::Sends: Sync, <Worker as Behavior>::Ph: Sync, <<Worker as Behavior>::Birth as BirthMode>::Child: Sync,

§

impl<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute> Unpin for DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute>
where <<Worker as Behavior>::Protocol as Protocol>::Addr: Sized, LifecycleRoute: Unpin, DiagnosticRoute: Unpin,

§

impl<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute> UnsafeUnpin for DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute>
where <<Worker as Behavior>::Protocol as Protocol>::Addr: Sized, LifecycleRoute: UnsafeUnpin, DiagnosticRoute: UnsafeUnpin,

§

impl<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute> UnwindSafe for DynamicSupervisor<Key, Worker, Plan, LifecycleRoute, DiagnosticRoute>
where <<Worker as Behavior>::Protocol as Protocol>::Addr: Sized + RefUnwindSafe, LifecycleRoute: UnwindSafe, Key: RefUnwindSafe, DiagnosticRoute: UnwindSafe, Worker: RefUnwindSafe, Plan: RefUnwindSafe, <<<Worker as Behavior>::Protocol as Protocol>::Addr as EndpointAddress>::Installed<StableProxy<Worker, Plan>>: RefUnwindSafe, <Plan as ActivationPlan>::Ready: RefUnwindSafe, <<Worker as Behavior>::Protocol as Protocol>::Msg: RefUnwindSafe, <Worker as Behavior>::Error: RefUnwindSafe, <Plan as ActivationPlan>::Rejection: RefUnwindSafe, <<<Worker as Behavior>::Protocol as Protocol>::Addr as EndpointAddress>::Established<<Worker as Behavior>::Protocol>: RefUnwindSafe, <Worker as Behavior>::Sends: RefUnwindSafe, <Worker as Behavior>::Ph: RefUnwindSafe, <<Worker as Behavior>::Birth as BirthMode>::Child: RefUnwindSafe,

Blanket Implementations§

Source§

impl<B> Activate for B
where B: Behavior,

Source§

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<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<B> BeginShutdownPhases for B
where B: Behavior, <<B as Behavior>::Birth as BirthMode>::Child: ChildOccurrenceProduct<AvailableChildren>,

Source§

impl<Node> BirthNodeAppend<Never> for Node
where Node: NonEmptyBirthNode,

Source§

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

Inject one child from the existing prefix without changing its structural occurrence.
Source§

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,

Preserve and concatenate two ordered creation batches.
Source§

impl<Child, Tail> BirthNodeAppend<Tail> for Child
where Child: Behavior, Tail: NonEmptyBirthNode,

Source§

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

Inject one child from the existing prefix without changing its structural occurrence.
Source§

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,

Preserve and concatenate two ordered creation batches.
Source§

impl<B> BirthProtocols for B
where B: Behavior, <B as Behavior>::Birth: BirthModeProtocols,

Source§

type Protocols = BirthProtocol<<B as Behavior>::Protocol, <<B as Behavior>::Birth as BirthModeProtocols>::Protocols>

Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<Node, Shape> ChildOccurrenceProduct<Shape> for Node
where Node: ChildOccurrenceProductAt<ChildHead, Shape>, Shape: ChildOccurrenceShape,

Source§

type Product = <Node as ChildOccurrenceProductAt<ChildHead, Shape>>::Product

Complete shape-owned representation of this closed birth node.
Source§

impl<A, Child, Host> DispatchBirth<A, Host> for Child
where A: Address, Child: CreateSelectedChild<A, ChildHead, Host>,

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

Select exactly one concrete child host while preserving creation data in every non-accepted settlement.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.