~/jendhub

def names

bendvy-ecs-core@0.1.0.4 · inspector_metadata.bend:34

import bendvy-ecs-core@0.1.0.4/inspector_metadata.bend as InspectorMetadata
import Base
import schedule_provision.bend as Provision

34# Internal keys are lowered exclusively from Resource; wider provision token
35# cases have no source entry and confer no category/provider capability.
36def names(~S:Data,keys:List<&2,Provision.Requirement<S>>,+values:List<&2,Resource<S>>) -> List<&2,Resource<S>>:
37  match keys:
38    case []:[]
39    case Provision.Resource{id} <> rest:keep(~S,first(~S,id,values),names(~S,rest,values))
40    case _ <> rest:names(~S,rest,values)

Uses (5)

Used by (1)