def children_checked_erased

bendvy-ecs-core@0.1.0.3 · relation_reorder_core.bend:34

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

34def 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>:
35  match children:
36    case []: None{}
37    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))