def operation_batch

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution.bend:145

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

145def operation_batch(state:Facts.State) -> Trace.Batch<String>:
146  match state:
147    case Facts.Off{}:Trace.Disabled{}
148    case Facts.On{facts}:Trace.BendvyReady{operation_events(List.reverse(&2,Facts.Fact,facts))}