def children_checked

bendvy-ecs-core@0.1.0.4 · 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(~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(~S,graph,d,id),parent),parent,id,C.name(~S,d)),_ => children_checked(~S,rest,graph,d,parent,id <> seen))