| definition: |
genRunFuncs :: String -> [CFuncDecl]
genRunFuncs mname =
[ stCmtFunc "Runs a DB action (typically a query)."
(mname,"runQ") 0 Public
(applyTC (mConn, "DBAction") [ctvar "a"] ~> ioType (ctvar "a"))
[simpleRule []
(applyF (mER, "runQueryOnDB") [constF (mname,"sqliteDBFile")])]
, stCmtFunc "Runs a DB action as a transaction."
(mname,"runT") 0 Public
(applyTC (mConn, "DBAction") [ctvar "a"] ~>
ioType (applyTC (mConn,"SQLResult") [ctvar "a"]))
[simpleRule []
(applyF (mER, "runTransactionOnDB") [constF (mname,"sqliteDBFile")])]
, stCmtFunc
"Runs a DB action as a transaction. Emits an error in case of failure."
(mname,"runJustT") 0 Public
(applyTC (mConn, "DBAction") [ctvar "a"] ~> ioType (ctvar "a"))
[simpleRule []
(applyF (mER, "runJustTransactionOnDB")
[constF (mname,"sqliteDBFile")])]
]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Generates runQ/runT operations (used by the Spicey web framework). |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> {:}}
|
| name: |
genRunFuncs |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
String -> [AbstractCurry.Types.CFuncDecl] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |