def pair_commit_fn
bendvy-ecs-core@0.1.0.4 · reader_parameter.bend:102
import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
102def pair_commit_fn(~W:Type,~OwnerA:Type,~OwnerB:Type,~DeltaA:Type,~DeltaB:Type,~commitA:W -> OwnerA -> DeltaA -> @+cursor:Tick.Tick -> W & OwnerA,~commitB:W -> OwnerB -> DeltaB -> @+cursor:Tick.Tick -> W & OwnerB,world:W,owners:OwnerA & OwnerB,deltas:DeltaA & DeltaB,+cursor:Tick.Tick) -> W & (OwnerA & OwnerB):
103 match owners:
104 case (ownerA,ownerB):
105 match deltas:
106 case (deltaA,deltaB):pair_commit_after_left(~W,~OwnerA,~OwnerB,~DeltaB,~commitB,cursor,ownerB,deltaB,commitA(world,ownerA,deltaA,cursor))