def record_barrier_operations
bendvy-ecs-core@0.1.0.4 · ordinary_app_execution.bend:71
import bendvy-ecs-core@0.1.0.4/ordinary_app_execution.bend as OrdinaryAppExecution
import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as Facts
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace
71def record_barrier_operations(~Error:Data,facts:List<&2,Facts.Fact>,journal:Journal<Error>) -> Journal<Error>:
72 match facts:
73 case []:journal
74 case fact <> rest:record_barrier_operations(~Error,rest,record(~Error,Trace.BarrierOperationObserved{fact},journal))