def left_folded

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

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

47def left_folded(~S:Data,~L:Type,~R:Type,~Shared:Type,~rightFold:(R & Shared) -> (R & Shared) & List<&2,Fields.Fields<S>>,right:R,result:(L & Shared) & List<&2,Fields.Fields<S>>) -> ((L & R) & Shared) & List<&2,Fields.Fields<S>>:
48  match result:
49    case ((left,shared),fields):right_folded(~S,~L,~R,~Shared,left,fields,rightFold((right,shared)))