type WorldRead

bendvy-ecs-core@0.1.0.4 · inspector_query.bend:98

import Base
import world.bend as W

98# Trusted closed live-handle enumeration/validity operations for composed
99# queries. Raw callbacks must correspond to the same runtime World and thread H;
100# metadata or schema type alone is not a runtime validation check.
101type WorldRead<-H:Type,-S:Data> is Type:
102  WorldRead{handles:H -> H & List<&2,W.Handle<S>>,valid:H -> W.Handle<S> -> H & Bool}