type Inspection

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

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_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/world.bend as W

21type Inspection<-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)> is Type:
22  Admitted{world:W.World<S,L.columns(~S,components),L.resources(~S,resources),E>,compilation:D.Compilation<S,L.columns(~S,components),C,R,Ops>,evidence:Evidence<S,components,resources,C,R,Ops,program>}
23  Refused{world:W.World<S,L.columns(~S,components),L.resources(~S,resources),E>,compilation:D.Compilation<S,L.columns(~S,components),C,R,Ops>}