~/jendhub

def plan

bendvy-ecs-core@0.1.0.4 · ordinary_system.bend:34

import bendvy-ecs-core@0.1.0.4/ordinary_system.bend as OrdinarySystem
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as Query
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

34# Lower a closed ordinary declaration into its operational query plan.
35# Grant and row predicate come from that declaration; this performs no scan.
36# Trusted setup must keep the declaration consistent with the body Ops.
37def plan(~S:Data,~C:Type,~R:Type,~E:Data,~Ops:Type -> Type,~A:Data,~U:Data,~Out:Data,~query:Query.Declaration<S,Q.Frame<S,C,R,E>,Ops(Q.Frame<S,C,R,E>)>,~body:@-H:Type -> @-caps:Ops(H) -> A -> H -> H & (T.Outcome<U> & Out)) -> Q.Plan<S,C,R,E,Ops>:
38  plan_parts(~S,~C,~R,~E,~Ops,query)

Uses (6)

Used by (2)