def observed

bendvy-ecs-core@0.1.0.4 · machine_handler_trace.bend:11

import Base
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as Facts

11def observed(fact:Facts.Fact,barrier:Bool,identity:Maybe<&2,Trace.Identity>) -> Trace.TraceEvent<String>:
12  match barrier identity:
13    case True{} _:Trace.BarrierOperationObserved{fact}
14    case False{} Some{identity}:Trace.OperationObserved{identity,fact}
15    case False{} None{}:Trace.ExecutionOperationObserved{fact}