def inspection

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

import Base
import bendvy-ecs-core@0.1.0.4/inspector_query_projection.bend as P

31# Consume the declaration and obtain its detached read-only selection recipe.
32# IH is separate from operational H; no write grant is transferred to inspection.
33def inspection(~S:Data,~H:Type,~G:Type,~IH:Type,~V:Data,declaration:Declaration<S,H,G,IH,V>) -> P.DeclaredSelection<IH,S,V>:
34  match declaration:
35    case Declaration{_,inspection}:inspection(Unit{})
36    case PreparedDeclaration{_,inspection,_}:inspection(Unit{})