def lowered

bendvy-ecs-core@0.1.0.3 · execution_resource_admission.bend:24

import Base
import bendvy-ecs-core@0.1.0.3/execution_builder.bend as Build
import bendvy-ecs-core@0.1.0.3/execution_declaration.bend as D
import bendvy-ecs-core@0.1.0.3/execution_resource_recipe.bend as Resources
import bendvy-ecs-core@0.1.0.3/execution_resource_description.bend as Description
import bendvy-ecs-core@0.1.0.3/execution_query_schema.bend as Schema
import bendvy-ecs-core@0.1.0.3/execution_query_admission.bend as Query
import bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/world.bend as W

24def lowered(~S:Data,~components:L.Layout,~resources:L.Layout,~C:Type,~R:Type,~E:Data,~Ops:Data -> (Type -> Type) -> Type -> Type,~program:Build.FrameworkProgram(~S,~L.columns(~S,components),~C,~R,~Ops),world:W.World<S,L.columns(~S,components),L.resources(~S,resources),E>,compilation:D.Compilation<S,L.columns(~S,components),C,R,Ops>,namespace:U32,handles:List<&2,W.Handle<S>>,queries:List<&2,Recipe.Recipe<S,L.columns(~S,components)>>,+resourceRecipes:List<&2,Resources.Entry>,componentInfo:List<&2,Schema.Info>,resourceInfo:List<&2,Description.Info>,result:Query.Lowering<S,L.columns(~S,components),components>) -> Inspection<S,components,resources,C,R,E,Ops,program>:
25  match result:
26    case Query.LoweringRefused{}:Refused{world,compilation}
27    case Query.Lowered{grants,queryBook}:Admitted{world,compilation,Evidence{namespace,handles,queries,resourceRecipes,componentInfo,resourceInfo,grants,queryBook,Resources.Book{resourceRecipes}}}