def scopes_leaf

bendvy-ecs-core@0.1.0.3 · execution_lifetime_scope_coverage.bend:41

import Base
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_resource_policy.bend as Policy

41def scopes_leaf(-S:Data,-resources:Layout.Layout,policy:Policy.Policy,route:Layout.Route,relations:Permission.Relations<S,resources>) -> Bool:
42  match policy:
43    case Policy.ProtectedLifetimeScope{_}:scope_contains(S,resources,route,relations)
44    case Policy.ProtectedRelation{_,_}:True{}
45    case Policy.Ordinary{}:True{}