0 | module Oracle.FFI.Error
 1 |
 2 | ||| Retrieve the last Oracle error code.
 3 | |||
 4 | export %foreign "C:get_error_code,oracle-idris"
 5 | prim__getErrorCode : PrimIO Int32
 6 |
 7 | ||| Retrieve the last Oracle error message.
 8 | |||
 9 | export %foreign "C:get_error_message,oracle-idris"
10 | prim__getErrorMessage : PrimIO String
11 |