~/jendhub

def pair_first

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

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

49def pair_first(~L:Type,~R:Type,~rightFold:R -> R & List<&2,Access.Entry>,right:R,left:L & List<&2,Access.Entry>) -> (L & R) & List<&2,Access.Entry>:
50  match left:
51    case (left,before):pair_second(~L,~R,left,before,rightFold(right))

Uses (5)

Used by (1)