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 |