Idris2Doc : Oracle.FFI.Error

Oracle.FFI.Error

(source)

Definitions

prim__getErrorCode : PrimIO Int32
  Retrieve the last Oracle error code.
prim__getErrorMessage : PrimIO String
  Retrieve the last Oracle error message.