~/jendhub

def product_join

bendvy-ecs-core@0.1.0.4 · restore_clear.bend:32

import bendvy-ecs-core@0.1.0.4/restore_clear.bend as RestoreClear
import Base
import bendvy-ecs-core@0.1.0.4/restore_data.bend as R
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

32def product_join(~S:Data,~LC:Type,~RC:Type,left:LC,events:List<&2,R.Change<S>>,observed:RC & List<&2,R.Change<S>>) -> Product.Owner<LC,RC> & List<&2,R.Change<S>>:
33  match observed:
34    case (right,more):(Product.Owner{left,right},List.append(&2,R.Change<S>,events,more))

Uses (6)

Used by (1)