def replaced_erased

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

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

47# Maintained inverse reorder changes only the selected inverse entry.
48def replaced_erased(-S: Data,found: Bool,entry: T.Inverse<S>,sources: List<&2,K.Key>,rest: List<&2,T.Inverse<S>>) -> List<&2,T.Inverse<S>>:
49  match found entry:
50    case True{} T.Inverse{d,parent,_}: T.Inverse{d,parent,sources} <> rest
51    case False{} entry: entry <> rest