def run_identified

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

import Base
import internal/relation_failures/domains.bend as D
import internal/relation_failures/readings.bend as Read
import world.bend as W
import system.bend as Sy
import event_runtime.bend as Ev

97def run_identified(~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>>,runtime: Runtime<S,C,R,E>,identified: Sy.Registry<S,C,R,E,Input<S,E,A>,Error,O,runner> & U32,+keys: List<&2,D.DescriptorKey<S>>,args: A) -> RunResult<S,C,R,E,A,Error,O,runner>:
98  match runtime:
99    case Runtime{world,+domains,+positions,+tick,+frameStart,+boundary,+capacity,+nextReader}:
100      (registry,+id) = identified
101      run_result(~S,~C,~R,~E,~A,~Error,~O,~runner,~classify,Sy.run(~S,~C,~R,~E,~Input<S,E,A>,~Error,~O,~runner,registry,world,Input{Read.all(~S,~E,keys,domains,position_or(Ev.lookup(positions,id),id,tick)),args}),keys,domains,positions,id,tick,frameStart,boundary,capacity,nextReader)