def record

bendvy-ecs-core@0.1.0.4 · machine_handler_context.bend:15

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

15def record(state:Facts.State,namespace:U32,id:U32,name:String,ordinal:U32,phase:Facts.HandlerPhase,result:Facts.FactResult) -> Facts.State:
16  match state phase:
17    case Facts.Off{} _:Facts.Off{}
18    case Facts.On{facts} Facts.InitialEnterPhase{}:Facts.On{Facts.HandlerFact{namespace,id,name,ordinal,Facts.InitialEnterPhase{},Facts.UnavailableValue{},Facts.OpaqueValue{},result} <> facts}
19    case Facts.On{facts} phase:Facts.On{Facts.HandlerFact{namespace,id,name,ordinal,phase,Facts.OpaqueValue{},Facts.OpaqueValue{},result} <> facts}