def relation_commit_updated

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

import Base
import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as RP
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route
import bendvy-ecs-core@0.1.0.4/event_family_runtime.bend as Family
import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as Mixed
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

639def relation_commit_updated(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,
640  world:W.World<S,C,R,Notice.Notice<S,P>>,typed:Family.State<P,F,H>,
641  tick:Nat,frameStart:Nat,boundary:Nat,capacity:Nat,nextReader:U32,routeTick:Nat,
642  facts:RP.RegistrationFacts,id:Maybe<&2,U32>,keys:List<&2,KD.DescriptorKey<S>>,
643  updated:List<&2,KD.Domain<S,Notice.Notice<S,P>>> & List<&2,Ev.Position>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>> & RelationOwner<S,P>:
644  match updated:
645    case (updatedDomains,updatedPositions):
646      (Route.Runtime{world,Mixed.State{typed,Mixed.Failures{updatedDomains,updatedPositions,tick,frameStart,boundary,capacity,nextReader}},routeTick},
647       RelationOwner{facts,id,keys})