def projected

bendvy-ecs-core@0.1.0.3 · execution_save_rows.bend:13

import Base
import bendvy-ecs-core@0.1.0.3/execution_save_plan.bend as Plan
import bendvy-ecs-core@0.1.0.3/execution_save_data.bend as Saved
import bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/entity_key.bend as Key

13def projected(~S:Data,~plan:Plan.Plan,key:Key.Key,next:Plan.Recipes(~S,plan) -> Layout.columns(~S,Plan.layout(plan)) -> Plan.Recipes(~S,plan) & (Layout.columns(~S,Plan.layout(plan)) & (List<&2,Saved.Entity> & Maybe<&2,Recipe.Refusal>)),result:Plan.Recipes(~S,plan) & (Layout.columns(~S,Plan.layout(plan)) & Saved.Fields)) -> Plan.Recipes(~S,plan) & (Layout.columns(~S,Plan.layout(plan)) & (List<&2,Saved.Entity> & Maybe<&2,Recipe.Refusal>)):
14  match result:
15    case (recipes,(columns,Saved.Fields{_,Some{error}})):(recipes,(columns,([],Some{error})))
16    case (recipes,(columns,Saved.Fields{fields,None{}})):prepended(~S,~plan,key,fields,next(recipes,columns))