def disposal_result
bendvy-ecs-core@0.1.0.4 · removals.bend:113
import bendvy-ecs-core@0.1.0.4/removals.bend as Removals
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
113def disposal_result(~S: Data,~C: Type,~R: Type,~E: Data,~F: Data,~select: E -> Maybe<&2,Record<S,F>>,reader: Reader<S,E,F,select>,result: W.World<S,C,R,E> & Bool) -> Disposal<S,C,R,E,F,select>:
114 match result:
115 case (world,False{}): DisposalRejected{world,reader}
116 case (world,True{}): disposal_collected(~S,~C,~R,~E,~F,~select,collected(~S,~C,~R,~E,(world,True{})))