RelationGraph.validation: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/relation_graph.bend as RelationGraph
Lines 107-113 of bendvy-ecs-core@0.1.0.3/relation_graph.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/relation_graph.bend&start_line=107&end_line=113

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

def validation(sourceLive: Bool,targetLive: Bool,self: Bool,cyclic: Bool,source: K.Key,target: K.Key,name: String) -> Maybe<&2,T.Error>:
  match sourceLive targetLive self cyclic:
    case False{} _ _ _: Some{T.MissingEntity{source}}
    case True{} False{} _ _: Some{T.MissingTargetEntity{source,target,name}}
    case True{} True{} True{} _: Some{T.SelfRelationNotAllowed{source,name}}
    case True{} True{} False{} True{}: Some{T.HierarchyCycle{source,target,name}}
    case True{} True{} False{} False{}: None{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=Error