def scope_interpreter

bendvy-ecs-core@0.1.0.3 · execution_command_publication.bend:130

import bendvy-ecs-core@0.1.0.3/execution_command_publication.bend as ExecutionCommandPublication
import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_command_removed.bend as Removed
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_buffer.bend as LifetimeScope
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_coverage.bend as Coverage

130def scope_interpreter(~S:Data,~R:Type,~E:Data,~layout:Layout.Layout,~route:Layout.Route,~resources:Layout.Layout,~sameWR:{R == Layout.resources(~S,resources) : Type},~selection:Permission.Selection<S,resources>,~relations:Permission.Relations<S,resources>) -> LifetimeScope.Interpreter(~S,~Layout.columns(~S,layout),~R,~E,~Layout.payload(layout,route),~Removed.Removed(layout),~resources,~sameWR):
131  LifetimeScope.interpreter(~S,~Layout.columns(~S,layout),~R,~E,~Layout.payload(layout,route),~Removed.Removed(layout),~resources,~sameWR,~selection,~relations,~scope_dispose(~S,~R,~E,~layout,~route),~Coverage.has_protected(resources))

Uses (12)

Used by (0)

No other definition uses this definition.