~/jendhub

def pair_commit_after_left

bendvy-ecs-core@0.1.0.4 · reader_parameter.bend:98

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

98def pair_commit_after_left(~W:Type,~OwnerA:Type,~OwnerB:Type,~DeltaB:Type,~commitB:W -> OwnerB -> DeltaB -> @+cursor:Tick.Tick -> W & OwnerB,cursor:Tick.Tick,ownerB:OwnerB,deltaB:DeltaB,committedA:W & OwnerA) -> W & (OwnerA & OwnerB):
99  match committedA:
100    case (world,ownerA):pair_commit_join(~W,~OwnerA,~OwnerB,ownerA,commitB(world,ownerB,deltaB,cursor))

Uses (4)

Used by (1)