package postgresql

  1. Overview
  2. Docs
type t =
  1. | ACTIVE_SQL_TRANSACTION
  2. | ADMIN_SHUTDOWN
  3. | AMBIGUOUS_ALIAS
  4. | AMBIGUOUS_COLUMN
  5. | AMBIGUOUS_FUNCTION
  6. | AMBIGUOUS_PARAMETER
  7. | ARRAY_SUBSCRIPT_ERROR
  8. | ASSERT_FAILURE
  9. | BAD_COPY_FILE_FORMAT
  10. | BRANCH_TRANSACTION_ALREADY_ACTIVE
  11. | CANNOT_COERCE
  12. | CANNOT_CONNECT_NOW
  13. | CANT_CHANGE_RUNTIME_PARAM
  14. | CARDINALITY_VIOLATION
  15. | CASE_NOT_FOUND
  16. | CHARACTER_NOT_IN_REPERTOIRE
  17. | CHECK_VIOLATION
  18. | COLLATION_MISMATCH
  19. | CONFIGURATION_LIMIT_EXCEEDED
  20. | CONFIG_FILE_ERROR
  21. | CONNECTION_DOES_NOT_EXIST
  22. | CONNECTION_EXCEPTION
  23. | CONNECTION_FAILURE
  24. | CONTAINING_SQL_NOT_PERMITTED
  25. | CRASH_SHUTDOWN
  26. | DATABASE_DROPPED
  27. | DATATYPE_MISMATCH
  28. | DATA_CORRUPTED
  29. | DATA_EXCEPTION
  30. | DATETIME_FIELD_OVERFLOW
  31. | DEADLOCK_DETECTED
  32. | DEPENDENT_OBJECTS_STILL_EXIST
  33. | DEPENDENT_PRIVILEGE_DESCRIPTORS_STILL_EXIST
  34. | DEPRECATED_FEATURE
  35. | DIAGNOSTICS_EXCEPTION
  36. | DISK_FULL
  37. | DIVISION_BY_ZERO
  38. | DUPLICATE_ALIAS
  39. | DUPLICATE_COLUMN
  40. | DUPLICATE_CURSOR
  41. | DUPLICATE_DATABASE
  42. | DUPLICATE_FILE
  43. | DUPLICATE_FUNCTION
  44. | DUPLICATE_OBJECT
  45. | DUPLICATE_PREPARED_STATEMENT
  46. | DUPLICATE_SCHEMA
  47. | DUPLICATE_TABLE
  48. | DYNAMIC_RESULT_SETS_RETURNED
  49. | ERROR_IN_ASSIGNMENT
  50. | ESCAPE_CHARACTER_CONFLICT
  51. | EVENT_TRIGGER_PROTOCOL_VIOLATED
  52. | EXCLUSION_VIOLATION
  53. | EXTERNAL_ROUTINE_EXCEPTION
  54. | EXTERNAL_ROUTINE_INVOCATION_EXCEPTION
  55. | FDW_COLUMN_NAME_NOT_FOUND
  56. | FDW_DYNAMIC_PARAMETER_VALUE_NEEDED
  57. | FDW_ERROR
  58. | FDW_FUNCTION_SEQUENCE_ERROR
  59. | FDW_INCONSISTENT_DESCRIPTOR_INFORMATION
  60. | FDW_INVALID_ATTRIBUTE_VALUE
  61. | FDW_INVALID_COLUMN_NAME
  62. | FDW_INVALID_COLUMN_NUMBER
  63. | FDW_INVALID_DATA_TYPE
  64. | FDW_INVALID_DATA_TYPE_DESCRIPTORS
  65. | FDW_INVALID_DESCRIPTOR_FIELD_IDENTIFIER
  66. | FDW_INVALID_HANDLE
  67. | FDW_INVALID_OPTION_INDEX
  68. | FDW_INVALID_OPTION_NAME
  69. | FDW_INVALID_STRING_FORMAT
  70. | FDW_INVALID_STRING_LENGTH_OR_BUFFER_LENGTH
  71. | FDW_INVALID_USE_OF_NULL_POINTER
  72. | FDW_NO_SCHEMAS
  73. | FDW_OPTION_NAME_NOT_FOUND
  74. | FDW_OUT_OF_MEMORY
  75. | FDW_REPLY_HANDLE
  76. | FDW_SCHEMA_NOT_FOUND
  77. | FDW_TABLE_NOT_FOUND
  78. | FDW_TOO_MANY_HANDLES
  79. | FDW_UNABLE_TO_CREATE_EXECUTION
  80. | FDW_UNABLE_TO_CREATE_REPLY
  81. | FDW_UNABLE_TO_ESTABLISH_CONNECTION
  82. | FEATURE_NOT_SUPPORTED
  83. | FLOATING_POINT_EXCEPTION
  84. | FOREIGN_KEY_VIOLATION
  85. | FUNCTION_EXECUTED_NO_RETURN_STATEMENT
  86. | GENERATED_ALWAYS
  87. | GROUPING_ERROR
  88. | HELD_CURSOR_REQUIRES_SAME_ISOLATION_LEVEL
  89. | IDLE_IN_TRANSACTION_SESSION_TIMEOUT
  90. | IMPLICIT_ZERO_BIT_PADDING
  91. | INAPPROPRIATE_ACCESS_MODE_FOR_BRANCH_TRANSACTION
  92. | INAPPROPRIATE_ISOLATION_LEVEL_FOR_BRANCH_TRANSACTION
  93. | INDETERMINATE_COLLATION
  94. | INDETERMINATE_DATATYPE
  95. | INDEX_CORRUPTED
  96. | INDICATOR_OVERFLOW
  97. | INSUFFICIENT_PRIVILEGE
  98. | INSUFFICIENT_RESOURCES
  99. | INTEGRITY_CONSTRAINT_VIOLATION
  100. | INTERNAL_ERROR
  101. | INTERVAL_FIELD_OVERFLOW
  102. | INVALID_ARGUMENT_FOR_LOGARITHM
  103. | INVALID_ARGUMENT_FOR_NTH_VALUE_FUNCTION
  104. | INVALID_ARGUMENT_FOR_NTILE_FUNCTION
  105. | INVALID_ARGUMENT_FOR_POWER_FUNCTION
  106. | INVALID_ARGUMENT_FOR_WIDTH_BUCKET_FUNCTION
  107. | INVALID_AUTHORIZATION_SPECIFICATION
  108. | INVALID_BINARY_REPRESENTATION
  109. | INVALID_CATALOG_NAME
  110. | INVALID_CHARACTER_VALUE_FOR_CAST
  111. | INVALID_COLUMN_DEFINITION
  112. | INVALID_COLUMN_REFERENCE
  113. | INVALID_CURSOR_DEFINITION
  114. | INVALID_CURSOR_NAME
  115. | INVALID_CURSOR_STATE
  116. | INVALID_DATABASE_DEFINITION
  117. | INVALID_DATETIME_FORMAT
  118. | INVALID_ESCAPE_CHARACTER
  119. | INVALID_ESCAPE_OCTET
  120. | INVALID_ESCAPE_SEQUENCE
  121. | INVALID_FOREIGN_KEY
  122. | INVALID_FUNCTION_DEFINITION
  123. | INVALID_GRANTOR
  124. | INVALID_GRANT_OPERATION
  125. | INVALID_INDICATOR_PARAMETER_VALUE
  126. | INVALID_LOCATOR_SPECIFICATION
  127. | INVALID_NAME
  128. | INVALID_OBJECT_DEFINITION
  129. | INVALID_PARAMETER_VALUE
  130. | INVALID_PASSWORD
  131. | INVALID_PREPARED_STATEMENT_DEFINITION
  132. | INVALID_RECURSION
  133. | INVALID_REGULAR_EXPRESSION
  134. | INVALID_ROLE_SPECIFICATION
  135. | INVALID_ROW_COUNT_IN_LIMIT_CLAUSE
  136. | INVALID_ROW_COUNT_IN_RESULT_OFFSET_CLAUSE
  137. | INVALID_SAVEPOINT_SPECIFICATION
  138. | INVALID_SCHEMA_DEFINITION
  139. | INVALID_SCHEMA_NAME
  140. | INVALID_SQLSTATE_RETURNED
  141. | INVALID_SQL_STATEMENT_NAME
  142. | INVALID_TABLESAMPLE_ARGUMENT
  143. | INVALID_TABLESAMPLE_REPEAT
  144. | INVALID_TABLE_DEFINITION
  145. | INVALID_TEXT_REPRESENTATION
  146. | INVALID_TIME_ZONE_DISPLACEMENT_VALUE
  147. | INVALID_TRANSACTION_INITIATION
  148. | INVALID_TRANSACTION_STATE
  149. | INVALID_TRANSACTION_TERMINATION
  150. | INVALID_USE_OF_ESCAPE_CHARACTER
  151. | INVALID_XML_COMMENT
  152. | INVALID_XML_CONTENT
  153. | INVALID_XML_DOCUMENT
  154. | INVALID_XML_PROCESSING_INSTRUCTION
  155. | IN_FAILED_SQL_TRANSACTION
  156. | IO_ERROR
  157. | LOCATOR_EXCEPTION
  158. | LOCK_FILE_EXISTS
  159. | LOCK_NOT_AVAILABLE
  160. | MODIFYING_SQL_DATA_NOT_PERMITTED
  161. | MOST_SPECIFIC_TYPE_MISMATCH
  162. | NAME_TOO_LONG
  163. | NONSTANDARD_USE_OF_ESCAPE_CHARACTER
  164. | NOT_AN_XML_DOCUMENT
  165. | NOT_NULL_VIOLATION
  166. | NO_ACTIVE_SQL_TRANSACTION
  167. | NO_ACTIVE_SQL_TRANSACTION_FOR_BRANCH_TRANSACTION
  168. | NO_ADDITIONAL_DYNAMIC_RESULT_SETS_RETURNED
  169. | NO_DATA
  170. | NO_DATA_FOUND
  171. | NULL_VALUE_ELIMINATED_IN_SET_FUNCTION
  172. | NULL_VALUE_NOT_ALLOWED
  173. | NULL_VALUE_NO_INDICATOR_PARAMETER
  174. | NUMERIC_VALUE_OUT_OF_RANGE
  175. | OBJECT_IN_USE
  176. | OBJECT_NOT_IN_PREREQUISITE_STATE
  177. | OPERATOR_INTERVENTION
  178. | OUT_OF_MEMORY
  179. | PLPGSQL_ERROR
  180. | PRIVILEGE_NOT_GRANTED
  181. | PRIVILEGE_NOT_REVOKED
  182. | PROGRAM_LIMIT_EXCEEDED
  183. | PROHIBITED_SQL_STATEMENT_ATTEMPTED
  184. | PROTOCOL_VIOLATION
  185. | QUERY_CANCELED
  186. | RAISE_EXCEPTION
  187. | READING_SQL_DATA_NOT_PERMITTED
  188. | READ_ONLY_SQL_TRANSACTION
  189. | RESERVED_NAME
  190. | RESTRICT_VIOLATION
  191. | SAVEPOINT_EXCEPTION
  192. | SCHEMA_AND_DATA_STATEMENT_MIXING_NOT_SUPPORTED
  193. | SEQUENCE_GENERATOR_LIMIT_EXCEEDED
  194. | SERIALIZATION_FAILURE
  195. | SNAPSHOT_TOO_OLD
  196. | SQLCLIENT_UNABLE_TO_ESTABLISH_SQLCONNECTION
  197. | SQLSERVER_REJECTED_ESTABLISHMENT_OF_SQLCONNECTION
  198. | SQL_ROUTINE_EXCEPTION
  199. | SQL_STATEMENT_NOT_YET_COMPLETE
  200. | SRF_PROTOCOL_VIOLATED
  201. | STACKED_DIAGNOSTICS_ACCESSED_WITHOUT_ACTIVE_HANDLER
  202. | STATEMENT_COMPLETION_UNKNOWN
  203. | STATEMENT_TOO_COMPLEX
  204. | STRING_DATA_LENGTH_MISMATCH
  205. | STRING_DATA_RIGHT_TRUNCATION
  206. | SUBSTRING_ERROR
  207. | SUCCESSFUL_COMPLETION
  208. | SYNTAX_ERROR
  209. | SYNTAX_ERROR_OR_ACCESS_RULE_VIOLATION
  210. | SYSTEM_ERROR
  211. | TOO_MANY_ARGUMENTS
  212. | TOO_MANY_COLUMNS
  213. | TOO_MANY_CONNECTIONS
  214. | TOO_MANY_ROWS
  215. | TRANSACTION_INTEGRITY_CONSTRAINT_VIOLATION
  216. | TRANSACTION_RESOLUTION_UNKNOWN
  217. | TRANSACTION_ROLLBACK
  218. | TRIGGERED_ACTION_EXCEPTION
  219. | TRIGGERED_DATA_CHANGE_VIOLATION
  220. | TRIGGER_PROTOCOL_VIOLATED
  221. | TRIM_ERROR
  222. | UNDEFINED_COLUMN
  223. | UNDEFINED_FILE
  224. | UNDEFINED_FUNCTION
  225. | UNDEFINED_OBJECT
  226. | UNDEFINED_PARAMETER
  227. | UNDEFINED_TABLE
  228. | UNIQUE_VIOLATION
  229. | UNTERMINATED_C_STRING
  230. | UNTRANSLATABLE_CHARACTER
  231. | WARNING
  232. | WINDOWING_ERROR
  233. | WITH_CHECK_OPTION_VIOLATION
  234. | WRONG_OBJECT_TYPE
  235. | ZERO_LENGTH_CHARACTER_STRING
val to_string : t -> string
val of_sqlstate : string -> t