def pair_catalog

bendvy-ecs-core@0.1.0.4 · captured_schedule_composition.bend:44

import Base

44# Advanced owner-threading catalog composition in left/right order.
45# Returns both affine owners and appended identities without executing bodies.
46# Supplied catalog callbacks must preserve actual registration correspondence.
47def pair_catalog(~L:Type,~R:Type,~left:L -> L & List<&2,Identity>,~right:R -> R & List<&2,Identity>,owners:L & R) -> (L & R) & List<&2,Identity>:
48  match owners:
49    case (a,b):pair_catalog_left(~L,~R,~right,b,left(a))