Oracle.Types.Error

Definitions

record OracleError : Type

  Oracle database error returned from ODPI-C.
  
  Every Oracle operation that can fail returns an
  `OracleError` describing the underlying Oracle
  error code and message.
  

Totality: total
Visibility: public export
Constructor: 

MkOracleError : Int32 -> String -> String -> Bool -> OracleError

Projections:

.code : OracleError -> Int32

.fnname : OracleError -> String

.message : OracleError -> String

.recoverable : OracleError -> Bool

Hint: 

Show OracleError

.code : OracleError -> Int32

Visibility: public export

code : OracleError -> Int32

Visibility: public export

.message : OracleError -> String

Visibility: public export

message : OracleError -> String

Visibility: public export

.fnname : OracleError -> String

Visibility: public export

fnname : OracleError -> String

Visibility: public export

.recoverable : OracleError -> Bool

Visibility: public export

recoverable : OracleError -> Bool

Visibility: public export

invalidrow : OracleError

Visibility: export