| definition: |
runTransactionOnDB :: String -> DBAction a -> IO (SQLResult a) runTransactionOnDB dbname dbaction = runWithDB dbname (runInTransaction dbaction) |
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Executes a DB action as a transcation on a database and returns the result. --- If the DB action produces an error, the transaction is rolled back --- and the error is returned, otherwise the transaction is committed. --- @param str - name of the database (e.g. "database.db") --- @param dbaction - a database action --- @return the result of the action |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> _}
|
| name: |
runTransactionOnDB |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
String -> Database.CDBI.Connection.DBAction a -> Prelude.IO (Prelude.Either Database.CDBI.Connection.DBError a) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |