~/jendhub

def pair_second

bendvy-ecs-core@0.1.0.4 · ordinary_app_event_runtime.bend:46

import bendvy-ecs-core@0.1.0.4/ordinary_app_event_runtime.bend as OrdinaryAppEventRuntime
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_access.bend as Access

46def pair_second(~L:Type,~R:Type,left:L,before:List<&2,Access.Entry>,right:R & List<&2,Access.Entry>) -> (L & R) & List<&2,Access.Entry>:
47  match right:
48    case (right,after):((left,right),List.append(&2,Access.Entry,before,after))

Uses (5)

Used by (1)