Struct Health 

pub struct Health<A, K, Route>
where
    A: Address,
    Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = HealthReport<K>>>,
{ /* private fields */ }

Versioned typed health aggregation behavior.

State is an insertion-ordered product of ComponentHealthState values. A greater version replaces the prior state. An identical observation is idempotent. A lower version is HealthError::Stale, and a same-version contradiction is HealthError::ConflictingVersion; both preserve the complete prior state. Removal retains a tombstone, so stale evidence cannot resurrect a component. Query emits one named typed delivery and never mutates state. Initialization is empty, the behavior never terminates by policy, and it requires only ordinary typed delivery interpretation. Versioning, aggregate ordering, and empty-set health are Bombay policy, not actor-model laws. No method has a semantic panic condition.

Implementations

impl<A, K, Route> Health<A, K, Route>

where A: Address, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = HealthReport<K>>>,

pub const fn new() -> Self

Construct an empty health definition.

pub fn components(&self) -> &[ComponentHealthState<K>]

Borrow every retained present or removed component state.

Trait Implementations

impl<A, K, Route> Behavior for Health<A, K, Route>

where A: Address, K: Clone + Eq, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = HealthReport<K>>>, Route::Sends: SendsFor<User<A, HealthMessage<K, Route>>>,

type Protocol = Health<A, K, Route>

Stable public communication identity owned by this actor template.

type Event = User<A, <<Health<A, K, Route> as Behavior>::Protocol as Protocol>::Msg>

type Sends = <Route as DeliveryRoute>::Sends

type Ph = Never

type Error = HealthError<K>

type Birth = NoBirths

fn transition( &mut self, _: ActiveTurn, event: Self::Event, ) -> BehaviorActed<Self>

Fold exactly one event into explicit actions and the next behavior.

fn init( &mut self, _turn: InitializationTurn, ) -> Result<Actions<<Self::Protocol as Protocol>::Addr, Self::Ph, Self::Sends, Self::Birth>, Self::Error>

where Self: Sized,

Produce initialization actions before the first event is accepted.

fn layer<L>(self, layer: L) -> <L as BehaviorLayer<Self>>::Output

where Self: Sized, L: BehaviorLayer<Self>,

Apply one statically dispatched construction layer.

impl<A, K, Route> BehaviorBase for Health<A, K, Route>

where A: Address, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = HealthReport<K>>>,

type Base = Health<A, K, Route>

fn base(&self) -> &Self

impl<A, K, Route> Default for Health<A, K, Route>

where A: Address, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = HealthReport<K>>>,

fn default() -> Self

Returns the “default value” for a type.

impl<A, K, Route> Protocol for Health<A, K, Route>

where A: Address, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = HealthReport<K>>>,

type Addr = A

type Msg = HealthMessage<K, Route>