def succeeded_clocked

bendvy-ecs-core@0.1.0.4 · relation_failure_runtime.bend:78

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import internal/relation_failures/domains.bend as D
import internal/relation_failures/readings.bend as Read
import internal/relation_failures/routing.bend as Route
import world.bend as W
import system.bend as Sy
import event_runtime.bend as Ev

78def succeeded_clocked(~S: Data,~C: Type,~R: Type,~E: Data,~A: Type,~Error: Data,~O: Type,~runner: W.World<S,C,R,E> -> Input<S,E,A> -> Sy.Outcome<W.World<S,C,R,E>,Error,O>,~classify: E -> Maybe<D.DescriptorKey<S>>,clocked: W.World<S,C,R,E> & Tick.Tick,registry: Sy.Registry<S,C,R,E,Input<S,E,A>,Error,O,runner>,+keys: List<&2,D.DescriptorKey<S>>,+domains: List<&2,D.Domain<S,E>>,+positions: List<&2,Ev.Position>,+id: U32,+previous: Nat,frameStart: Nat,boundary: Nat,capacity: Nat,+nextReader: U32,output: O) -> RunResult<S,C,R,E,A,Error,O,runner>:
79  (world,+clock) = clocked
80  succeeded_collected(~S,~C,~R,~E,~A,~Error,~O,~runner,id,Route.collect(~S,~C,~R,~E,~classify,world,Tick.total(clock),Read.activate(~S,~E,keys,domains,id)),registry,keys,Ev.update(Ev.activate(positions,id,previous),id,Tick.total(clock),False{}),Tick.total(clock),frameStart,boundary,capacity,nextReader,output)