type Disposal

bendvy-ecs-core@0.1.0.4 · system.bend:111

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

111# Rejected disposal returns the registration; accepted disposal consumes it.
112# Disposed returns World and consumes this registration owner.
113# DisposalRejected returns World and Registry for retry or explicit recovery.
114# This type introduces no user-payload finalizer or capture-disposal callback.
115type Disposal<S: Data,C: Type,R: Type,E: Data,Args: Type,Error: Data,Output: Type,-runner: W.World<S,C,R,E> -> Args -> Outcome<W.World<S,C,R,E>,Error,Output>> is Type:
116  Disposed{world: W.World<S,C,R,E>}
117  DisposalRejected{world: W.World<S,C,R,E>,registry: Registry<S,C,R,E,Args,Error,Output,runner>}