ExecutionDeferredSettings.check_ignored: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend as ExecutionDeferredSettings
Lines 58-61 of bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend&start_line=58&end_line=61

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

def check_ignored(ignored:List<&2,Plan.Edge>,+edges:List<&2,Plan.Edge>) -> Maybe<&2,Plan.Invalid<String>>:
  match ignored:
    case []:None{}
    case Plan.Edge{before,+after} <> rest:check_ignored_entry(edge_member(before,after,edges),after,check_ignored(rest,edges))

Uses (7):
  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=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=Invalid
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend&name=check_ignored_entry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend&name=edge_member