~/jendhub

def fold_pair

bendvy-ecs-core@0.1.0.4 · ordinary_app_records.bend:29

import bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend as OrdinaryAppRecords
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Stored

29# Closed advanced adapter composing two metadata folds with the same
30# owner-threading and left/right order as pair; does not execute systems.
31def fold_pair(~S:Data,~Left:Type,~Right:Type,~left:Left -> Left & List<&2,Stored.Fields<S>>,~right:Right -> Right & List<&2,Stored.Fields<S>>,owners:Left & Right) -> (Left & Right) & List<&2,Stored.Fields<S>>:
32  pair(~S,~Left,~Right,left,right,owners)

Uses (4)

Used by (55)