Enum Trigger 

pub enum Trigger {
    AfterTask(TaskId),
    IfResult {
        task: TaskId,
        key: String,
        value: String,
    },
    AfterTerminal(TaskId),
    AtTick(u64),
}

A condition that, once satisfied, fires an Action.

Variants

AfterTask(TaskId)

Dependency: fires once task reaches Done. The edge after_task:<id> of the plan.

IfResult

Branch: fires once task is Done and its recorded result at key equals value (the if_result:<path matches> shape).

Fields

task: TaskId

The task whose result gates the branch.

key: String

Result key (a results/* path, modeled as a key).

value: String

The value that fires this branch.

AfterTerminal(TaskId)

Failure-aware dependency: fires once task reaches either terminal state (Done or Failed). This is the primitive failure propagation needs — AfterTask only observes Done, so a failed predecessor would leave its dependents armed forever. A handler inspects the predecessor’s status to branch on the outcome (e.g. submit a compensating task on Failed).

AtTick(u64)

Timestamp: fires once the logical clock reaches tick. Time is an explicit input (never now()), preserving determinism.

Implementations

impl Trigger

pub fn is_satisfied(&self, world: &TriggerWorld<'_>) -> bool

Is this trigger’s condition satisfied in world? Pure and deterministic.

Trait Implementations

impl Clone for Trigger

fn clone(&self) -> Trigger

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Trigger

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

Formats the value using the given formatter.

impl Eq for Trigger

impl PartialEq for Trigger

fn eq(&self, other: &Trigger) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Trigger