DependencyComposerProgram.checked_scope: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend as DependencyComposerProgram
Lines 63-66 of bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend&start_line=63&end_line=66

import Base
import bendvy-ecs-core@0.1.0.3/dependency_plan.bend as Plan

def checked_scope(+path:List<&2,U32>,edges:List<&2,Plan.Edge>,scope:Maybe<&2,Scope>) -> Maybe<&2,NestError>:
  match scope:
    case None{}:Some{UnknownScope{path}}
    case Some{Scope{ids,_}}:checked_endpoints(path,Plan.endpoints(~String,edges,members(ids)))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend&name=NestError
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend&name=Scope
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend&name=checked_endpoints
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend&name=members
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_plan.bend&name=Edge
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_plan.bend&name=endpoints