type Declaration

bendvy-ecs-core@0.1.0.4 · recognized_query_declaration.bend:13

import Base
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as N
import bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend as F

13# The owner functor is retained before ordinary grant erasure. Raw declarations
14# continue through the existing registration path.
15# A closed query declaration for the recognized App entry, tied to schema S and
16# its component/resource owners. Ops gives the same declared capabilities for
17# both ordinary and compact execution; callbacks must return their opaque owner.
18# Use write, resource_write and pair below. This additive surface does not supply
19# all ordinary query combinators or an adapter for arbitrary custom selectors.
20# Complete setup: the Sparse consumer's motion.bend:recognized and
21# motion-driver.bend:define under test-fixtures/connected-performance/
22# sparse-motion64/consumer/s-perf/canonical-api-v1/sparse-runtime-v1/.
23type Declaration<-S:Data,-Store:Type,-R:Type,-E:Data,-Ops:Type -> Type> is Type:
24  Declaration{legacy:Unit -> N.Declaration<S,Q.Frame<S,Store,R,E>,Ops(Q.Frame<S,Store,R,E>)>,caps:Unit -> Ops(F.Frame<S,Store,R,E>),select:F.Frame<S,Store,R,E> -> F.Frame<S,Store,R,E> & Bool}