def with_world_result

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

import Base
import internal/relation_failures/domains.bend as D
import world.bend as W
import event_runtime.bend as Ev

145def with_world_result(~S: Data,~C: Type,~R: Type,~E: Data,~O: Type,~classify: E -> Maybe<D.DescriptorKey<S>>,result: W.World<S,C,R,E> & O,domains: List<&2,D.Domain<S,E>>,positions: List<&2,Ev.Position>,_: Nat,frameStart: Nat,boundary: Nat,capacity: Nat,+nextReader: U32) -> Runtime<S,C,R,E> & O:
146  (world,output) = result
147  with_world_clocked(~S,~C,~R,~E,~O,~classify,W.clock(~S,~C,~R,~E,world),output,domains,positions,frameStart,boundary,capacity,nextReader)