def returned

bendvy-ecs-core@0.1.0.3 · dependency_application.bend:71

import Base
import bendvy-ecs-core@0.1.0.3/dependency_plan.bend as Plan
import bendvy-ecs-core@0.1.0.3/dependency_executor.bend as Exec

71def returned(~World:Type,~Owners:Type,~Guards:Type,~Handler:Type,~Error:Data,~Out:Data,~dispatch:Owners -> World -> U32 -> Owners & (World & Exec.Invocation<Error,Out>),~guardDispatch:Guards -> World -> U32 -> Guards & (World & Exec.Invocation<Error,Bool>),~handle:Handler -> Error -> Handler & Exec.Handling,result:Exec.ExecutionResult<State<World,Owners,Guards,Handler>,String,Error,Out>,plan:Plan.Build<String>,bindings:List<&2,Binding>) -> Application<World,Owners,Guards,Handler,Error,Out,dispatch,guardDispatch,handle> & Report<Error,Out>:
72  match result:
73    case Exec.Finished{state,events}:(Application{state,plan,bindings},Finished{events})
74    case Exec.Stopped{state,error,events}:(Application{state,plan,bindings},Stopped{error,events})
75    case Exec.Invalid{state,reason}:(Application{state,plan,bindings},Invalid{reason})