CurryInfo: keydb-3.1.0 / Database.KeyDatabaseSQLite.runJustT

definition: Info
 
runJustT :: Transaction a -> IO a
runJustT t =
  runT t  >>=
  return . either id
              (\e -> error ("Transaction failed: " ++ showTError e))
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Executes a possibly composed transaction on the current state
of dynamic predicates as a single transaction.
Similar to <code>runT</code> but a run-time error is raised
if the execution of the transaction fails.
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_) |-> _}
name: Info
 runJustT
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Transaction a -> Prelude.IO a
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 reducible on all ground data terms