type Declaration

bendvy-ecs-core@0.1.0.4 · ordinary_query_observable.bend:16

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as N
import bendvy-ecs-core@0.1.0.4/inspector_query_projection.bend as P
import bendvy-ecs-core@0.1.0.4/inspector_query.bend as IQ

16# One ordinary declaration delays both lowerings from the same component binding.
17# Operational transaction authority never enters the detached read-only query.
18# One query declaration supplies operational grants and detached inspection
19# from the same bindings. Declaration uses the ordinary evaluator; the
20# PreparedDeclaration variant also supplies an enumeration callback. Raw
21# constructors are trusted adapters. Payload owners never enter detached V.
22type Declaration<-S:Data,-H:Type,-G:Type,-IH:Type,-V:Data> is Type:
23  Declaration{operational:Unit -> N.Declaration<S,H,G>,inspection:Unit -> P.DeclaredSelection<IH,S,V>}
24  PreparedDeclaration{operational:Unit -> N.Declaration<S,H,G>,inspection:Unit -> P.DeclaredSelection<IH,S,V>,enumerate:IH -> IH & List<&2,IQ.ProjectedRow<S,V>>}