def relation_commit_match

bendvy-ecs-core@0.1.0.4 · ordinary_reader_stream_parameter.bend:622

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend as KD
import bendvy-ecs-core@0.1.0.4/internal/relation_failures/readings.bend as KRead

622def relation_commit_match(~S:Data,~P:Data,
623  domains:List<&2,KD.Domain<S,Notice.Notice<S,P>>>,positions:List<&2,Ev.Position>,
624  keys:List<&2,KD.DescriptorKey<S>>, +readerId:U32,+readThrough:Nat,matched:Bool) -> List<&2,KD.Domain<S,Notice.Notice<S,P>>> & List<&2,Ev.Position>:
625  match matched:
626    case True{}:
627      (KRead.activate(~S,~Notice.Notice<S,P>,keys,domains,readerId),
628       Ev.update(Ev.activate(positions,readerId,readThrough),readerId,readThrough,False{}))
629    case False{}:(domains,positions)