~/jendhub

def at

bendvy-ecs-core@0.1.0.3 · execution_resource_recipe.bend:24

import bendvy-ecs-core@0.1.0.3/execution_resource_recipe.bend as ExecutionResourceRecipe
import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/execution_query_schema.bend as Routes

24def at(+route:L.Route,entries:List<&2,Entry>) -> Permission:
25  match entries:
26    case []:Unused{}
27    case Entry{selected,_,permission} <> rest:at_entry(permission,at(route,rest),Routes.same_route(route,selected))

Uses (6)

Used by (1)