def checked_erased
bendvy-ecs-core@0.1.0.3 · relation_reorder_core.bend:56
import bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend as RelationReorderCore
import Base
import entity_key.bend as K
import relation_types.bend as T
56def checked_erased(-S: Data,error: Maybe<&2,T.Error>,graph: T.Graph<S>,d: T.Descriptor<S>,parent: K.Key,children: List<&2,T.ChildStatus>) -> T.CoreResult<S>:
57 match error graph:
58 case Some{e} graph: T.CoreResult{graph,Some{e}}
59 case None{} T.Graph{edges,inverses}: T.CoreResult{T.Graph{edges,replace_inverse_erased(S,inverses,d,parent,child_ids(children))},None{}}