def context_batch

bendvy-ecs-core@0.1.0.4 · ordinary_app_checked_schedule.bend:83

import Base
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace
import bendvy-ecs-core@0.1.0.4/ordinary_app_execution.bend as Execution
import bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend as Checked
import bendvy-ecs-core@0.1.0.4/schedule.bend as Sch

83def context_batch(~Error:Data,namespace:U32,name:String,observations:List<&2,Sch.Observation>,state:Execution.ExecutionState<Error>,outcome:Trace.Completion<Checked.Error<Error>>) -> Trace.Batch<Checked.Error<Error>>:
84  match state:
85    case Execution.Off{}:Trace.Disabled{}
86    case Execution.On{Execution.Journal{catalog,events}}:Execution.batch(~Checked.Error<Error>,namespace,name,observations,Execution.Journal{catalog,trace_events(~Error,events)},outcome)