def step

bendvy-ecs-core@0.1.0.3 · execution_deferred_schedule.bend:88

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

88def step(~Actual:Type,~Error:Data,~Out:Data,~condition:Actual -> U32 -> Actual & Exec.Condition<Error>,~dispatch:Actual -> U32 -> Actual & Exec.Invocation<Error,Out>,~handler:Actual -> Error -> Actual & Exec.Handling,~apply:List<&2,U32> -> Actual -> Actual & List<&2,U32>,next:Context<Actual> -> List<&2,Exec.Observation<Error,Out>> -> Exec.ExecutionResult<Context<Actual>,String,Error,Out>,context:Context<Actual>,+id:U32,events:List<&2,Exec.Observation<Error,Out>>) -> Exec.ExecutionResult<Context<Actual>,String,Error,Out>:
89  match context:
90    case Context{state,unapplied,+syncs,trace}:selected(~Actual,~Error,~Out,~condition,~dispatch,~handler,~apply,next,Context{state,unapplied,syncs,trace},id,events,is_sync(syncs,id))