def completed

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

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/relation_cleanup_engine.bend as Engine
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_cleanup.bend as Cleanup

23def completed(-S:Data,-C:Type,-R:Type,-E:Data,-P:Type,-D:Type,route:Layout.Route,operation:Commands.Operation<S>,result:Engine.Progress<S,Cleanup.State<S,C,R,E,P,D>>) -> W.World<S,C,R,E> & Buffer.Receipt<S,P,D>:
24  match result:
25    case Engine.Complete{Cleanup.State{world,receipts,_,_,_}}:(world,Buffer.ScopePublished{route,operation,Buffer.ScopeComplete{},List.reverse(&1,Buffer.Receipt<S,P,D>,receipts),[]})
26    case Engine.Incomplete{Cleanup.State{world,receipts,_,_,_},frames}:(world,Buffer.ScopePublished{route,operation,Buffer.ScopePaused{},List.reverse(&1,Buffer.Receipt<S,P,D>,receipts),frames})