def right_folded

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

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

44def right_folded(~S:Data,~L:Type,~R:Type,~Shared:Type,left:L,first:List<&2,Fields.Fields<S>>,result:(R & Shared) & List<&2,Fields.Fields<S>>) -> ((L & R) & Shared) & List<&2,Fields.Fields<S>>:
45  match result:
46    case ((right,shared),last):(((left,right),shared),List.append(&2,Fields.Fields<S>,first,last))