def compile

bendvy-ecs-core@0.1.0.3 · execution_resource_program.bend:7

import bendvy-ecs-core@0.1.0.3/execution_resource_program.bend as ExecutionResourceProgram
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_query_interpreter.bend as Query
import bendvy-ecs-core@0.1.0.3/execution_resource_interpreter.bend as Resource

7# The ordinary framework selects genuine interpreters for the same closed Program.
8# No caller-supplied permission catalog or dynamic invocation inventory enters caps.
9# Actual World admission still checks the retained full owners before invocation.
10def compile(~S:Data,~WC:Type,~C:Type,~R:Type,~Ops:Data -> (Type -> Type) -> Type -> Type,~program:Build.Program(~S,~WC,~C,~R,~Ops)) -> D.Compilation<S,WC,C,R,Ops>:
11  Build.compile_with_interpreters(~S,~WC,~C,~R,~Query.provider_dictionary(~S,~WC,~C,~R),~Resource.read_dictionary(~S,~C,~R),~Resource.write_dictionary(~S,~C,~R),~Ops,~program)

Uses (6)

Used by (0)

No other definition uses this definition.