~/jendhub

def delivered

bendvy-ecs-core@0.1.0.4 · execution_trace.bend:60

import bendvy-ecs-core@0.1.0.4/execution_trace.bend as ExecutionTrace
import Base

60def delivered(~State:Type,~Error:Data,~step:State -> TraceEvent<Error> -> State,events:List<&2,TraceEvent<Error>>,state:State) -> State:
61  match events:
62    case []:state
63    case event <> rest:delivered(~State,~Error,~step,rest,step(state,event))

Uses (2)

Used by (1)