ExecutionSaveRows.projected: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_save_rows.bend as ExecutionSaveRows
Lines 13-16 of bendvy-ecs-core@0.1.0.3/execution_save_rows.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_rows.bend&start_line=13&end_line=16

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

def 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>)):
  match result:
    case (recipes,(columns,Saved.Fields{_,Some{error}})):(recipes,(columns,([],Some{error})))
    case (recipes,(columns,Saved.Fields{fields,None{}})):prepended(~S,~plan,key,fields,next(recipes,columns))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=columns
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_data.bend&name=Entity
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_data.bend&name=Fields
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_plan.bend&name=Recipes
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_plan.bend&name=layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend&name=Refusal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_rows.bend&name=prepended