def disposal

bendvy-ecs-core@0.1.0.4 · local.bend:126

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

126def disposal(~S: Data,~C: Type,~R: Type,~E: Data,~L: Type,~Args: Type,~Error: Data,~Out: Type,~runner: W.World<S,C,R,E> -> L -> Args -> Outcome<W.World<S,C,R,E>,L,Error,Out>,~Disposed: Type,~disposeLocal: L -> Disposed,instance: Instance<S,C,R,E,L,Args,Error,Out,runner>,result: W.World<S,C,R,E> & Bool) -> Disposal<S,C,R,E,L,Args,Error,Out,runner,Disposed>:
127  match instance result:
128    case instance, (world,False{}): DisposalRejected{world,instance}
129    case Instance{_,_,_,_,local}, (world,True{}): Disposed{world,disposeLocal(local)}