Expand description
Subscription domain types for event-driven task promotion.
Subscriptions allow tasks to be promoted to Ready when specific events occur — task completion, run state changes, budget threshold crossings, or application-defined custom events. The dispatch loop evaluates active subscriptions each tick and triggers those whose filters match.
Structs§
- Subscription
Id - A unique identifier for an event subscription.
Enums§
- Event
Filter - A filter that specifies which events trigger a subscription.