def record_named

bendvy-ecs-core@0.1.0.4 · owned_event_journal.bend:32

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

32def record_named(~State:Type,~Recovery:Type,name:String,stage:Stage<State,Recovery>) -> Stage<State,Recovery>:
33  match stage:
34    case Stage{newest,Facts.Off{}}:Stage{newest,Facts.Off{}}
35    case Stage{newest,Facts.On{facts}}:Stage{newest,Facts.On{Facts.Fact{Facts.EventValue{},name,Facts.SendOperation{},None{},Facts.UnavailableValue{},Facts.OpaqueValue{},Facts.Attempted{}} <> facts}}