RelationGraph.checked: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/relation_graph.bend as RelationGraph
Lines 122-125 of bendvy-ecs-core@0.1.0.4/relation_graph.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/relation_graph.bend&start_line=122&end_line=125

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

def checked(~S: Data,error: Maybe<&2,T.Error>,graph: T.Graph<S>,+descriptor: T.Descriptor<S>,+source: K.Key,+target: K.Key) -> T.CoreResult<S>:
  match error graph:
    case Some{error} graph: T.CoreResult{graph,Some{error}}
    case None{} T.Graph{+edges,inverses}: T.CoreResult{updated(~S,already(target_edges(~S,edges,descriptor,source),target),edges,inverses,descriptor,source,target),None{}}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_graph.bend&name=already
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_graph.bend&name=target_edges
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_graph.bend&name=updated
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_types.bend&name=CoreResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_types.bend&name=Descriptor
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_types.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_types.bend&name=Graph