CurryInfo: spicey-4.2.0 / Spicey.ControllerGeneration.manyToOneGetRelated

 
manyToOneGetRelated :: String -> Entity -> [String] -> [Entity]
                    -> [Relationship] -> [CFuncDecl]
manyToOneGetRelated erdname (Entity entityName _) entities _ relationships =      
    map getRelatedFunction entities
  where
    getRelatedFunction :: String -> CFuncDecl
    getRelatedFunction foreignEntity =
      let argvar  = (1, (take 1 $ lowerFirst entityName) ++ foreignEntity)
          rname   = fst (relationshipName entityName foreignEntity relationships)
          fkeysel = lowerFirst entityName ++ foreignEntity ++ rname ++ "Key"
      in
      stCmtFunc 
      ("Gets the associated " ++ foreignEntity ++ " entity for a given "++
       entityName ++ " entity.")
      (controllerModuleName entityName,
       "get" ++ rname ++ foreignEntity)
      0
      Private
      ((ctvar entityName) ~> applyTC (dbconn "DBAction") [ctvar foreignEntity])
      [simpleRule [CPVar argvar]
                  (applyF (model erdname,"get" ++ foreignEntity)
                          [applyF (model erdname,fkeysel) [CVar argvar]])]

 arguments 2 3

 deterministic operation

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,{Entity},_,_,_) |-> {:,[]}}

 manyToOneGetRelated

 no precedence defined

 {:,[]}

 String -> Database.ERD.Entity -> [String] -> [Database.ERD.Entity]
-> [Database.ERD.Relationship] -> [AbstractCurry.Types.CFuncDecl]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term