type RunResult

bendvy-ecs-core@0.1.0.4 · ordinary_app_schedule.bend:32

import Base
import schedule.bend as Sch
import schedule_provision.bend as SP

32# Outcome retaining the affine application in every branch. Finished carries
33# schedule observations; Failed also carries the system/condition error;
34# Rejected denotes schedule refusal; Missing lists unavailable requirements.
35# Failed execution can retain earlier committed systems; it is not whole-run rollback.
36type RunResult<-A:Type,-S:Data,-Error:Data> is Type:
37  Finished{app:A,observations:List<&2,Sch.Observation>}
38  Failed{app:A,error:Error,observations:List<&2,Sch.Observation>}
39  Rejected{app:A}
40  Missing{app:A,requirements:List<&2,SP.Requirement<S>>}