~/jendhub

def pair_catalog_left

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

import bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend as CapturedScheduleComposition
import Base

41def pair_catalog_left(~L:Type,~R:Type,~right:R -> R & List<&2,Identity>,other:R,result:L & List<&2,Identity>) -> (L & R) & List<&2,Identity>:
42  match result:
43    case (owner,entries):pair_catalog_done(~L,~R,owner,entries,right(other))

Uses (5)

Used by (1)