def guard_returned

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

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

53def guard_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,returned:Guards & (World & Exec.Invocation<Error,Bool>),owners:Owners,handler:Handler,bindings:List<&2,Binding>) -> State<World,Owners,Guards,Handler> & Exec.Condition<Error>:
54  match returned:
55    case (guards,(world,Exec.Completed{output})):(State{world,owners,guards,handler,bindings},guard_condition(~Error,output))
56    case (guards,(world,Exec.BodyError{error,_})):(State{world,owners,guards,handler,bindings},Exec.ConditionError{error})
57    case (guards,(world,Exec.AdmissionRefused{})):(State{world,owners,guards,handler,bindings},Exec.ConditionRefused{})