type Disposal

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:317

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

317# Success returns Runtime after registration/position removal. Rejection returns
318# Runtime plus actual Reader and registry; no payload destructor is invented.
319type Disposal<S: Data,C: Type,R: Type,E: Data,A: Type,Error: Data,O: Type,-runner: W.World<S,C,R,E> -> Input<E,A> -> Sy.Outcome<W.World<S,C,R,E>,Error,O>> is Type:
320  Disposed{runtime: Runtime<S,C,R,E>}
321  DisposalRejected{runtime: Runtime<S,C,R,E>,reader: Reader<S>,registry: Sy.Registry<S,C,R,E,Input<E,A>,Error,O,runner>}