def rows

bendvy-ecs-core@0.1.0.3 · execution_restore_publication.bend:30

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/restore_data.bend as R
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

30def rows(~S:Data,~layout:Layout.Layout,~Resource:Type,~E:Data,values:List<Row<layout>>,world:W.World<S,Layout.columns(~S,layout),Resource,E>,+tick:Tick.Tick,mapping:List<&2,R.Binding<S>>,receipts:List<Receipt<S,layout>>,complete:Bool) -> Published<S,layout,Resource,E>:
31  match values:
32    case []:Published{world,List.reverse(&2,R.Binding<S>,mapping),List.reverse(&1,Receipt<S,layout>,receipts),complete}
33    case Row{saved,bundle} <> rest:returned(~S,~layout,~Resource,~E,nextWorld => nextMapping => nextReceipts => nextComplete => rows(~S,~layout,~Resource,~E,rest,nextWorld,tick,nextMapping,nextReceipts,nextComplete),mapping,receipts,complete,reserved(~S,~layout,~Resource,~E,saved,bundle,tick,W.reserve_id(~S,~Layout.columns(~S,layout),~Resource,~E,world)))