def interpreter

bendvy-ecs-core@0.1.0.3 · execution_lifetime_scope_buffer.bend:75

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_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_cleanup.bend as Cleanup

75# Select fixed code while building the declaration, before the enclosing
76# application specializes a cleanup engine for an ordinary resource schema.
77def interpreter(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~D:Type,~resources:Layout.Layout,~same:{R == Layout.resources(~S,resources) : Type},~selection:Permission.Selection<S,resources>,~relations:Permission.Relations<S,resources>,~dispose:Cleanup.Dispose(~S,~C,~R,~E,~P,~D),~protected:Bool) -> Interpreter(~S,~C,~R,~E,~P,~D,~resources,~same):
78  Bool.pick(Interpreter(~S,~C,~R,~E,~P,~D,~resources,~same),protected,apply(~S,~C,~R,~E,~P,~D,~resources,~same,~selection,~relations,~dispose),unprotected(~S,~C,~R,~E,~P,~D,~resources,~same,~selection))