Idris2Doc : Oracle.FFI.Error

Oracle.FFI.Error

(source)

Definitions

prim__getErrorCode : PrimIOInt32
  Retrieve the last Oracle error code.
prim__getErrorMessage : PrimIOString
  Retrieve the last Oracle error message.