def ordinary

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

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

25# Convert the recognized declaration into its ordinary operational declaration.
26# Consumes the carrier; call a closed declaration template again when both forms
27# are needed. Selection, access clauses and grants come from this same carrier.
28def ordinary(~S:Data,~Store:Type,~R:Type,~E:Data,~Ops:Type -> Type,declaration:Declaration<S,Store,R,E,Ops>) -> N.Declaration<S,Q.Frame<S,Store,R,E>,Ops(Q.Frame<S,Store,R,E>)>:
29  match declaration:
30    case Declaration{legacy,_,_}:legacy(Unit{})