Skip to main content

CatalogCompositionDispatcher

Struct CatalogCompositionDispatcher 

Source
pub struct CatalogCompositionDispatcher<E: ProducerEffect> { /* private fields */ }
Expand description

Default catalog-backed dispatcher.

Consumes a RouteTable (built from a meerkat_machine_schema::CompositionSchema) plus a map of consumer surfaces keyed by MachineInstanceId. Every routed effect goes through the same three steps:

  1. Look up the input-kind route for (producer.instance_id, effect.variant).
  2. Project the producer’s field values into the consumer-field bindings.
  3. Deliver via the consumer surface registered for the target instance.

No step has a silent-drop fallback. Unresolved routes, signal-kind targets, missing producer fields, and unwired consumers are all typed DispatchRefusal errors.

Implementations§

Source§

impl<E: ProducerEffect> CatalogCompositionDispatcher<E>

Source

pub fn new(composition: CompositionId, table: RouteTable) -> Self

Build a new dispatcher for composition, using table as the typed route index.

Source

pub fn with_consumer(self, surface: Arc<dyn ConsumerSurface>) -> Self

Register a consumer surface for a target instance.

Panics are impossible — duplicate registrations replace the prior entry. (Duplicate wiring is a construction bug; the callers in wave-b prove registration happens exactly once per instance in the composition schema.)

Trait Implementations§

Source§

impl<E: ProducerEffect> CompositionDispatcher for CatalogCompositionDispatcher<E>

Source§

type Effect = E

Seam-effect sum this dispatcher handles. Matches the codegen-emitted {Composition}Effect enum.
Source§

fn composition(&self) -> &CompositionId

Composition id this dispatcher owns. Every ProducerInstance passed to CompositionDispatcher::dispatch must match.
Source§

fn dispatch<'life0, 'async_trait>( &'life0 self, producer: ProducerInstance, effect: EffectPayload<Self::Effect>, ) -> Pin<Box<dyn Future<Output = Result<DispatchOutcome, DispatchRefusal>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait,

Dispatch a routed effect. Returns DispatchOutcome on success or a typed DispatchRefusal. There is no silent-drop arm.
Source§

impl<E: ProducerEffect> Debug for CatalogCompositionDispatcher<E>

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

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<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<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<A, B, T> HttpServerConnExec<A, B> for T
where B: Body,