def leaf

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

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

20def leaf(~S:Data,~resources:Layout.Layout,policy:Policy.Policy,route:Layout.Route,relations:Permission.Relations<S,resources>) -> Bool:
21  match policy:
22    case Policy.ProtectedRelation{_,_}:contains(~S,~resources,route,relations)
23    case Policy.Ordinary{}:True{}
24    case Policy.ProtectedLifetimeScope{_}:True{}