def relate_refused

bendvy-ecs-core@0.1.0.4 · relation_commands.bend:62

import Base
import bendvy-ecs-core@0.1.0.4/trace_relation.bend as TraceRel
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
import relation_types.bend as G
import world.bend as W
import transaction.bend as X

62def relate_refused(~S:Data,~C:Type,~R:Type,~E:Data,descriptor:G.Descriptor<S>,source:W.Handle<S>,target:W.Handle<S>,tx:X.Tx<W.World<S,Store<S,C>,R,Notice<S,E>>,Notice<S,E>>) -> X.Tx<W.World<S,Store<S,C>,R,Notice<S,E>>,Notice<S,E>>:
63  match tx:
64    case X.Tx{world,undo,commands,events,trace}:X.Tx{world,undo,commands,events,TraceRel.relate(~S,trace,descriptor,TraceFacts.StageOperation{},source,target,TraceFacts.Refused{"MissingEntity"})}