PropertyDamage.Progress.DifferentialUpdate (PropertyDamage v0.2.0)

View Source

Intermediate progress for PropertyDamage.Differential.run/1 (DR-022): a coarse heartbeat as the run proceeds. Not the authoritative result — see PropertyDamage.Progress.DifferentialResult.

Phases

  • :run — emitted per generated sequence in interleaved execution, carrying the 1-based run_number, total_runs, and command_count.
  • :target — emitted per target in sequential execution, carrying the target_name currently being run.

Summary

Types

phase()
t()

Types

phase()

@type phase() :: :run | :target

t()

@type t() :: %PropertyDamage.Progress.DifferentialUpdate{
  command_count: non_neg_integer() | nil,
  phase: phase(),
  run_number: pos_integer() | nil,
  target_name: String.t() | nil,
  total_runs: pos_integer() | nil
}