#[non_exhaustive]pub enum Event<'a> {
#[non_exhaustive] RunStarted {
program: ProgramId,
message_id: &'a str,
channel: Option<&'a str>,
considered: usize,
},
#[non_exhaustive] WorkflowStarted {
workflow: WorkflowIx,
id: &'a str,
},
#[non_exhaustive] TaskFinished {
info: &'a CallInfo<'a>,
status: Option<u16>,
elapsed: Option<Duration>,
},
#[non_exhaustive] WorkflowFinished {
record: &'a WorkflowRecord<'a>,
elapsed: Option<Duration>,
},
#[non_exhaustive] RunFinished {
message_id: &'a str,
status: &'a RunStatus,
errors: usize,
elapsed: Option<Duration>,
},
}Expand description
One event of a run, borrowed for the call to Observer::on: an
observer copies out what it keeps.
An elapsed is Some only for an observer whose interest holds
Interest::TIMINGS. Each variant is #[non_exhaustive]: match its
fields with .., so a fact added later breaks no host.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
#[non_exhaustive]RunStarted
The run starts, after its stamps, before any workflow.
Fields
This variant is marked as non-exhaustive
#[non_exhaustive]WorkflowStarted
A workflow was selected: its condition admitted it, or it has none.
Once per workflow, a loop’s included. A workflow that ends Ran
with no judgment of its condition reached (a loop that enters no
sweep, or a run stopped before the condition) gets it as it ends,
before its WorkflowFinished.
Fields
This variant is marked as non-exhaustive
workflow: WorkflowIxThe workflow’s position in the program.
#[non_exhaustive]TaskFinished
A call was recorded: once per call, a fan-out’s once per element it folds, and once with no element for a fan-out with nothing to call or cut short. A task its condition refused is not.
Fields
This variant is marked as non-exhaustive
#[non_exhaustive]WorkflowFinished
A workflow that was selected ended. Its record says how, and how many sweeps it ran.
Fields
This variant is marked as non-exhaustive
record: &'a WorkflowRecord<'a>What the workflow did.
elapsed: Option<Duration>How long since its WorkflowStarted.
#[non_exhaustive]RunFinished
The run ended, whatever its status.