RelationReorderCore.children_checked_erased: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend as RelationReorderCore
Lines 34-37 of bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend&start_line=34&end_line=37

import Base
import entity_key.bend as K
import relation_types.bend as T
import relation_graph.bend as C

def children_checked_erased(-S: Data,children: List<&2,T.ChildStatus>,+graph: T.Graph<S>,+d: T.Descriptor<S>,+parent: K.Key,+seen: List<&2,K.Key>) -> Maybe<&2,T.Error>:
  match children:
    case []: None{}
    case T.ChildStatus{+id,live} <> rest: first_error(child_error(live,C.contains(seen,id),parent_match(C.target_erased(S,graph,d,id),parent),parent,id,C.name_erased(S,d)),_ => children_checked_erased(S,rest,graph,d,parent,id <> seen))

Uses (13):
  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=bendvy-ecs-core@0.1.0.3/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_graph.bend&name=contains
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_graph.bend&name=name_erased
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_graph.bend&name=target_erased
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend&name=child_error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend&name=first_error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend&name=parent_match
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=ChildStatus
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=Descriptor
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=Graph