def selected

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

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_command_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/execution_relation_resource_snapshot.bend as Snapshot
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
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_cleanup.bend as Cleanup
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

30def selected(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~D:Type,~resources:Layout.Layout,~same:{R == Layout.resources(~S,resources) : Type},~selection:Permission.Selection<S,resources>,~dispose:Cleanup.Dispose(~S,~C,~R,~E,~P,~D),+route:Layout.Route,+scope:Scope.Scope<S>,views:List<&2,Snapshot.GraphView<S>>,tick:Tick.Tick,result:W.World<S,C,R,E> & Dispatch.Outcome<S>) -> W.World<S,C,R,E> & Buffer.Receipt<S,P,D>:
31  match result:
32    case (world,Dispatch.Completed{Store.Selection{Store.Selected{selectedScope,+members}}}):start(~S,~C,~R,~E,~P,~D,~resources,~same,~selection,~dispose,route,scope,members,views,tick,[Buffer.ScopeStoreApplied{route,Store.Select{scope},Dispatch.Completed{Store.Selection{Store.Selected{selectedScope,members}}}}],world)
33    case (world,result):(world,Buffer.ScopePublished{route,Commands.Cleanup{scope},Buffer.ScopeDenied{Buffer.ScopeStoreRefused{}},[Buffer.ScopeStoreApplied{route,Store.Select{scope},result}],[]})