def invoked

bendvy-ecs-core@0.1.0.3 · dependency_executor.bend:33

import Base

33def invoked(~State:Type,~Requirement:Data,~Error:Data,~Out:Data,~handler:State -> Error -> State & Handling,next:State -> List<&2,Observation<Error,Out>> -> ExecutionResult<State,Requirement,Error,Out>,returned:State & Invocation<Error,Out>,+id:U32,events:List<&2,Observation<Error,Out>>) -> ExecutionResult<State,Requirement,Error,Out>:
34  match returned:
35    case (state,Completed{output}):next(state,List.append(&2,Observation<Error,Out>,events,[Ran{id,output}]))
36    case (state,BodyError{+error,output}):handled(~State,~Requirement,~Error,~Out,next,handler(state,error),error,List.append(&2,Observation<Error,Out>,events,[BodyFailed{id,error,output}]))
37    case (state,AdmissionRefused{}):next(state,List.append(&2,Observation<Error,Out>,events,[AdmissionRejected{id}]))