def publish_final

bendvy-ecs-core@0.1.0.4 · relation_cleanup.bend:21

import Base
import relation_commands.bend as A
import world.bend as W

21def publish_final(~S:Data,~C:Type,~R:Type,~E:Data,~record:W.Handle<S> -> A.Notice<S,E>,deactivated:W.World<S,A.Store<S,C>,R,A.Notice<S,E>> & W.Status,notices:List<&2,A.Notice<S,E>>,+handle:W.Handle<S>) -> W.World<S,A.Store<S,C>,R,A.Notice<S,E>>:
22  (world,_) = deactivated
23  W.release_cleared(~S,~A.Store<S,C>,~R,~A.Notice<S,E>,W.event_publish(~S,~A.Store<S,C>,~R,~A.Notice<S,E>,world,List.append(&2,A.Notice<S,E>,notices,[record(handle)])),handle)