type Disposal

bendvy-ecs-core@0.1.0.4 · system_instance.bend:9

import Base
import world.bend as W
import system.bend as Sys

9type Disposal<S: Data,C: Type,R: Type,E: Data,Args: Type,Error: Data,Output: Type,-run: W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,Error,Output>,Ports: Type,-validate: Ports -> U32 -> U32 -> Ports & Bool,-remove: W.World<S,C,R,E> -> Ports -> W.World<S,C,R,E>> is Type:
10  Disposed{world: W.World<S,C,R,E>}
11  Rejected{world: W.World<S,C,R,E>,instance: Instance<S,C,R,E,Args,Error,Output,run,Ports,validate,remove>}