type Disposal

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

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

29# Disposed returns World and output of the explicit disposeLocal callback.
30# DisposalRejected returns World and original instance without invoking that
31# callback; no implicit finalizer is invented by dropping a result variant.
32type 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> is Type:
33  Disposed{world: W.World<S,C,R,E>,output: Disposed}
34  DisposalRejected{world: W.World<S,C,R,E>,instance: Instance<S,C,R,E,L,Args,Error,Out,runner>}