def refreshed

bendvy-ecs-core@0.1.0.3 · execution_lifetime_scope_resource_dispatch.bend:18

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend as Store
import bendvy-ecs-core@0.1.0.3/entity_allocator.bend as Allocator
import bendvy-ecs-core@0.1.0.3/lifecycle.bend as Life

18def refreshed(~S:Data,~key:String,~origin:Layout.Layout,allocator:Allocator.Allocator,stamp:Life.Stamp,result:Store.Outcome<S>,projected:Store.Store<S> & Store.View<S>) -> Allocator.Allocator & (Layout.ResourceSlot<S,Layout.Viewed<Store.Store<S>,Store.View<S>>,key,origin> & Outcome<S>):
19  match projected:
20    case (owner,cache):(allocator,(Layout.ResourceSlot{Layout.Viewed{owner,cache},stamp},Completed{result}))