def pair_fold

bendvy-ecs-core@0.1.0.4 · ordinary_app_existing_execution.bend:50

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Fields

50def pair_fold(~S:Data,~L:Type,~R:Type,~Shared:Type,~leftFold:(L & Shared) -> (L & Shared) & List<&2,Fields.Fields<S>>,~rightFold:(R & Shared) -> (R & Shared) & List<&2,Fields.Fields<S>>,value:(L & R) & Shared) -> ((L & R) & Shared) & List<&2,Fields.Fields<S>>:
51  match value:
52    case ((left,right),shared):left_folded(~S,~L,~R,~Shared,~rightFold,right,leftFold((left,shared)))