type Declaration

bendvy-ecs-core@0.1.0.4 · ordinary_query_declaration.bend:27

import Base

27# Typed query declaration: grants, row selection and debug clauses share one source.
28# Build with read/write/filter constructors and pair; raw construction is a trusted
29# adapter boundary. H is threaded affinely; G determines available operations.
30type Declaration<-S:Data,H:Type,G:Type> is Type:
31  Declaration{grant:G,select:H -> H & Bool,clauses:List<&2,Clause<S>>}