CurryInfo: spicey-4.2.0 / Spicey.ControllerGeneration.getAll

 
getAll :: String -> Entity -> [String] -> [Entity] -> [CFuncDecl]
getAll erdname (Entity entityName _) entities _ =
    map getAllFunction entities
  where
    getAllFunction :: String -> CFuncDecl
    getAllFunction foreignEntity =
      stCmtFunc 
      ("Gets all " ++ foreignEntity ++ " entities.")
      (controllerModuleName entityName, "getAll" ++ foreignEntity ++ "s")
      0
      Private
      (ioType (listType (ctvar foreignEntity)))
      [simpleRule []
        (applyF (model erdname,"runQ")
          [applyF (model erdname,"queryAll")
            [CLambda [CPVar(0, take 1 (lowerFirst foreignEntity) )]
                     (CLetDecl [(CLocalVars [(1,"key")])]
                        (applyF (model erdname, lowerFirst foreignEntity)
                                [cvar "key",
                                 cvar (take 1 (lowerFirst foreignEntity))]))
                    ]
            ]
       )
      ]

 arguments 2 3

 deterministic operation

 (_, _, _, _)

 referentially transparent operation

 no fixity defined

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

 getAll

 no precedence defined

 {:,[]}

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

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term