def transition_record

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

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

51def transition_record(state:Facts.State,name:String) -> Facts.State:
52  match state:
53    case Facts.Off{}:Facts.Off{}
54    case Facts.On{facts}:Facts.On{Facts.TransitionFact{name,Facts.OpaqueValue{},Facts.OpaqueValue{},Facts.Applied{}} <> facts}