def handles_valid

bendvy-ecs-core@0.1.0.3 · execution_query_admission.bend:75

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/entity_key.bend as K
import bendvy-ecs-core@0.1.0.3/indexed_lifecycle.bend as Indexed

75def handles_valid(~S:Data,+namespace:U32,handles:List<&2,W.Handle<S>>) -> Bool:
76  match handles:
77    case []:True{}
78    case W.Handle{hn,key} <> rest:Bool.and(U32.is_eq(namespace,hn),Bool.and(Indexed.normal(K.index(key)),handles_valid(~S,namespace,rest)))