def identified

bendvy-ecs-core@0.1.0.4 · relation_failure_disposal.bend:34

import Base
import relation_failure_runtime.bend as K
import internal/relation_failures/domains.bend as D
import world.bend as W
import system.bend as Sy

34def identified(~S: Data,~C: Type,~R: Type,~E: Data,~A: Type,~Error: Data,~O: Type,~runner: W.World<S,C,R,E> -> K.Input<S,E,A> -> Sy.Outcome<W.World<S,C,R,E>,Error,O>,runtime: K.Runtime<S,C,R,E>,identity: Sy.Registry<S,C,R,E,K.Input<S,E,A>,Error,O,runner> & U32,keys: List<&2,D.DescriptorKey<S>>) -> Disposal<S,C,R,E,A,Error,O,runner>:
35  match runtime:
36    case K.Runtime{world,domains,positions,tick,frameStart,boundary,capacity,nextReader}:
37      (registry,+id) = identity
38      completed(~S,~C,~R,~E,~A,~Error,~O,~runner,Sy.dispose(~S,~C,~R,~E,~K.Input<S,E,A>,~Error,~O,~runner,registry,world),keys,domains,positions,id,tick,frameStart,boundary,capacity,nextReader)