def declared_record

bendvy-ecs-core@0.1.0.4 · machine_queue.bend:35

import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
import bendvy-ecs-core@0.1.0.4/transaction.bend as Tx

35def declared_record(~W:Type,~E:Data,enabled:Bool,name:String,tx:Tx.Tx<W,E>) -> Tx.Tx<W,E>:
36  match enabled:
37    case False{}:tx
38    case True{}:Tx.record(~W,~E,tx,TraceFacts.Fact{TraceFacts.NextStateValue{},name,TraceFacts.StageOperation{},None{},TraceFacts.OpaqueValue{},TraceFacts.OpaqueValue{},TraceFacts.Attempted{}})