CurryInfo: spicey-4.2.0 / Spicey.ControllerGeneration.relatedEntityNames

definition: Info
 
relatedEntityNames :: Entity -> [Relationship] -> [String]
relatedEntityNames (Entity entityName attrlist) relationships =
  map (\ (Relationship _ ((REnd name1 _ _) : (REnd name2 _ _) : [])) ->
            if name1 == entityName then name2 else name1)
      (relationshipsForEntity (Entity entityName attrlist) relationships)
demand: Info
 arguments 1 2
deterministic: Info
 deterministic operation
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({Entity},_) |-> {:,[]}}
name: Info
 relatedEntityNames
precedence: Info
 no precedence defined
result-values: Info
 {:,[]}
signature: Info
 Database.ERD.Entity -> [Database.ERD.Relationship] -> [String]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term