ExecutionQueryIdentity.targets_validation: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_identity.bend as ExecutionQueryIdentity
Lines 74-77 of bendvy-ecs-core@0.1.0.3/execution_query_identity.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_identity.bend&start_line=74&end_line=77

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/execution_query_domain.bend as D

def targets_validation(~S:Data,+handles:List<&2,W.Handle<S>>,+domain:D.Domain,validation:D.Validation) -> TargetCheck<S>:
  match validation:
    case D.Valid{}:targets_valid(~S,handles,domain,unique(~S,handles))
    case _:Refused{handles}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_domain.bend&name=Domain
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_domain.bend&name=Validation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_identity.bend&name=TargetCheck
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_identity.bend&name=targets_valid
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_identity.bend&name=unique
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle