def trace_write

bendvy-ecs-core@0.1.0.4 · component.bend:268

import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
import world.bend as W

268def trace_write(~S:Data,state:TraceFacts.State,name:String,handle:W.Handle<S>,result:TraceFacts.FactResult) -> TraceFacts.State:
269  match state:
270    case TraceFacts.Off{}:TraceFacts.Off{}
271    case TraceFacts.On{facts}:TraceFacts.On{TraceFacts.Fact{TraceFacts.ComponentValue{},name,TraceFacts.WriteOperation{},Some{trace_handle(~S,handle)},TraceFacts.OpaqueValue{},TraceFacts.OpaqueValue{},result} <> facts}