~/jendhub

def operation_events

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

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

141def operation_events(facts:List<&2,Facts.Fact>) -> List<&2,Trace.TraceEvent<String>>:
142  match facts:
143    case []:[]
144    case fact <> rest:Trace.ExecutionOperationObserved{fact} <> operation_events(rest)

Uses (4)

Used by (1)