def queue_checked

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

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

65def queue_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>,target: W.Handle<S>) -> X.Tx<W.World<S,Store<S,C>,R,Notice<S,E>>,Notice<S,E>> & QueueStatus:
66  match same:
67    case False{}: (relate_refused(~S,~C,~R,~E,descriptor,source,target,tx),MissingEntity{})
68    case True{}: (relate_staged(~S,~C,~R,~E,descriptor,source,target,tx),Queued{})