CurryInfo: spicey-4.2.0 / Spicey.ControllerGeneration.relationshipName

 
relationshipName :: String -> String -> [Relationship] -> (String, String)
relationshipName e1 e2 (rel:relrest)=
  case rel of
    (Relationship name [(REnd relE1 _ _), (REnd relE2 relName _)]) ->
      if ((relE1 == e1 && relE2 == e2) || (relE1 == e2 && relE2 == e1))
        then (name, relName)
        else relationshipName e1 e2 relrest
relationshipName _ _ [] = error "relationshipName: relationship not found"

 argument 3

 deterministic operation

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,_,{:}) |-> {(,)}}

 relationshipName

 no precedence defined

 {(,)}

 String -> String -> [Database.ERD.Relationship] -> (String, String)

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term