def returned

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

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

26def returned(~S:Data,~layout:Layout.Layout,~Resource:Type,~E:Data,next:W.World<S,Layout.columns(~S,layout),Resource,E> -> List<&2,R.Binding<S>> -> List<Receipt<S,layout>> -> Bool -> Published<S,layout,Resource,E>,mapping:List<&2,R.Binding<S>>,receipts:List<Receipt<S,layout>>,complete:Bool,result:W.World<S,Layout.columns(~S,layout),Resource,E> & Receipt<S,layout>) -> Published<S,layout,Resource,E>:
27  match result:
28    case (world,Materialized{+saved,+handle,previous}):next(world,R.Binding{saved,handle} <> mapping,Materialized{saved,handle,previous} <> receipts,complete)
29    case (world,receipt):next(world,mapping,receipt <> receipts,False{})