def queue_clear_checked

bendvy-ecs-core@0.1.0.4 · relation_commands.bend:94

import Base
import relation_types.bend as G
import world.bend as W
import transaction.bend as X

94def queue_clear_checked(~S: Data,~C: Type,~R: Type,~E: Data,same: Bool,tx: X.Tx<W.World<S,Store<S,C>,R,Notice<S,E>>,Notice<S,E>>,descriptor: G.Descriptor<S>,source: W.Handle<S>) -> X.Tx<W.World<S,Store<S,C>,R,Notice<S,E>>,Notice<S,E>> & QueueStatus:
95  match same:
96    case False{}: (unrelate_refused(~S,~C,~R,~E,descriptor,source,tx),MissingEntity{})
97    case True{}: (unrelate_staged(~S,~C,~R,~E,descriptor,source,tx),Queued{})