def checked_erased

bendvy-ecs-core@0.1.0.3 · relation_graph.bend:122

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

122def checked_erased(-S: Data,error: Maybe<&2,T.Error>,graph: T.Graph<S>,+descriptor: T.Descriptor<S>,+source: K.Key,+target: K.Key) -> T.CoreResult<S>:
123  match error graph:
124    case Some{error} graph: T.CoreResult{graph,Some{error}}
125    case None{} T.Graph{+edges,inverses}: T.CoreResult{updated_erased(S,already(target_edges_erased(S,edges,descriptor,source),target),edges,inverses,descriptor,source,target),None{}}