def assigned

bendvy-ecs-core@0.1.0.3 · execution_lifetime_scope_buffer.bend:45

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/lifetime_scope.bend as Scope
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend as Buffer
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_command.bend as Commands
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend as Store
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_resource_dispatch.bend as Dispatch

45def assigned(-S:Data,-C:Type,-R:Type,-E:Data,-P:Type,-D:Type,+route:Layout.Route,+scope:Scope.Scope<S>,+handle:W.Handle<S>,result:W.World<S,C,R,E> & Dispatch.Outcome<S>) -> W.World<S,C,R,E> & Buffer.Receipt<S,P,D>:
46  match result:
47    case (world,Dispatch.Completed{Store.Assignment{Store.Assigned{actualScope,actualHandle}}}):(world,Buffer.ScopePublished{route,Commands.Assign{scope,handle},Buffer.ScopeComplete{},[Buffer.ScopeStoreApplied{route,Store.Assign{scope,handle},Dispatch.Completed{Store.Assignment{Store.Assigned{actualScope,actualHandle}}}}],[]})
48    case (world,result):(world,Buffer.ScopePublished{route,Commands.Assign{scope,handle},Buffer.ScopeDenied{Buffer.ScopeStoreRefused{}},[Buffer.ScopeStoreApplied{route,Store.Assign{scope,handle},result}],[]})