| definition: |
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))]))
]
]
)
]
|
| demand: |
arguments 2 3 |
| deterministic: |
deterministic operation |
| failfree: |
(_, _, _, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,{Entity},_,_) |-> {:,[]}}
|
| name: |
getAll |
| precedence: |
no precedence defined |
| result-values: |
{:,[]}
|
| signature: |
String -> Database.ERD.Entity -> [String] -> [Database.ERD.Entity] -> [AbstractCurry.Types.CFuncDecl] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |