Error (rel.Rel_sqlite3.Error)

Result codes

type code

The type for result codes. Rel_sqlite3 database connections exposes only extended result codes. See constants.

val code_to_string : code -> string

code_to_string c is an english message for result code c.

Errors

type t = error

The type for errors.

val code : t -> code

code e is the result code of e.

val message : t -> string

message e is the error message of e. This may be more precise than code_to_string on e's code, it is the result of sqlite3_errmsg on the database connection that errored.

Result code constants

val abort_rollback : code

SQLITE_ABORT_ROLLBACK

val busy_recovery : code

SQLITE_BUSY_RECOVERY

val busy_snapshot : code

SQLITE_BUSY_SNAPSHOT

val busy_timeout : code

SQLITE_BUSY_TIMEOUT

val cantopen_convpath : code

SQLITE_CANTOPEN_CONVPATH

val cantopen_dirtywal : code

SQLITE_CANTOPEN_DIRTYWAL

val cantopen_fullpath : code

SQLITE_CANTOPEN_FULLPATH

val cantopen_isdir : code

SQLITE_CANTOPEN_ISDIR

val cantopen_notempdir : code

SQLITE_CANTOPEN_NOTEMPDIR

val cantopen_symlink : code

SQLITE_CANTOPEN_SYMLINK

val constraint_check : code

SQLITE_CONSTRAINT_CHECK

val constraint_commithook : code

SQLITE_CONSTRAINT_COMMITHOOK

val constraint_foreignkey : code

SQLITE_CONSTRAINT_FOREIGNKEY

val constraint_function : code

SQLITE_CONSTRAINT_FUNCTION

val constraint_notnull : code

SQLITE_CONSTRAINT_NOTNULL

val constraint_pinned : code

SQLITE_CONSTRAINT_PINNED

val constraint_primarykey : code

SQLITE_CONSTRAINT_PRIMARYKEY

val constraint_rowid : code

SQLITE_CONSTRAINT_ROWID

val constraint_trigger : code

SQLITE_CONSTRAINT_TRIGGER

val constraint_unique : code

SQLITE_CONSTRAINT_UNIQUE

val constraint_vtab : code

SQLITE_CONSTRAINT_VTAB

val corrupt_index : code

SQLITE_CORRUPT_INDEX

val corrupt_sequence : code

SQLITE_CORRUPT_SEQUENCE

val corrupt_vtab : code

SQLITE_CORRUPT_VTAB

val error_missing_collseq : code

SQLITE_ERROR_MISSING_COLLSEQ

val error_retry : code

SQLITE_ERROR_RETRY

val error_snapshot : code

SQLITE_ERROR_SNAPSHOT

val ioerr_access : code

SQLITE_IOERR_ACCESS

val ioerr_auth : code

SQLITE_IOERR_AUTH

val ioerr_begin_atomic : code

SQLITE_IOERR_BEGIN_ATOMIC

val ioerr_blocked : code

SQLITE_IOERR_BLOCKED

val ioerr_checkreservedlock : code

SQLITE_IOERR_CHECKRESERVEDLOCK

val ioerr_close : code

SQLITE_IOERR_CLOSE

val ioerr_commit_atomic : code

SQLITE_IOERR_COMMIT_ATOMIC

val ioerr_convpath : code

SQLITE_IOERR_CONVPATH

val ioerr_data : code

SQLITE_IOERR_DATA

val ioerr_delete : code

SQLITE_IOERR_DELETE

val ioerr_delete_noent : code

SQLITE_IOERR_DELETE_NOENT

val ioerr_dir_close : code

SQLITE_IOERR_DIR_CLOSE

val ioerr_dir_fsync : code

SQLITE_IOERR_DIR_FSYNC

val ioerr_fstat : code

SQLITE_IOERR_FSTAT

val ioerr_fsync : code

SQLITE_IOERR_FSYNC

val ioerr_gettemppath : code

SQLITE_IOERR_GETTEMPPATH

val ioerr_lock : code

SQLITE_IOERR_LOCK

val ioerr_mmap : code

SQLITE_IOERR_MMAP

val ioerr_nomem : code

SQLITE_IOERR_NOMEM

val ioerr_rdlock : code

SQLITE_IOERR_RDLOCK

val ioerr_read : code

SQLITE_IOERR_READ

val ioerr_rollback_atomic : code

SQLITE_IOERR_ROLLBACK_ATOMIC

val ioerr_seek : code

SQLITE_IOERR_SEEK

val ioerr_shmlock : code

SQLITE_IOERR_SHMLOCK

val ioerr_shmmap : code

SQLITE_IOERR_SHMMAP

val ioerr_shmopen : code

SQLITE_IOERR_SHMOPEN

val ioerr_shmsize : code

SQLITE_IOERR_SHMSIZE

val ioerr_short_read : code

SQLITE_IOERR_SHORT_READ

val ioerr_truncate : code

SQLITE_IOERR_TRUNCATE

val ioerr_unlock : code

SQLITE_IOERR_UNLOCK

val ioerr_vnode : code

SQLITE_IOERR_VNODE

val ioerr_write : code

SQLITE_IOERR_WRITE

val locked_sharedcache : code

SQLITE_LOCKED_SHAREDCACHE

val locked_vtab : code

SQLITE_LOCKED_VTAB

val notice_recover_rollback : code

SQLITE_NOTICE_RECOVER_ROLLBACK

val notice_recover_wal : code

SQLITE_NOTICE_RECOVER_WAL

val ok_load_permanently : code

SQLITE_OK_LOAD_PERMANENTLY

val readonly_cantinit : code

SQLITE_READONLY_CANTINIT

val readonly_cantlock : code

SQLITE_READONLY_CANTLOCK

val readonly_dbmoved : code

SQLITE_READONLY_DBMOVED

val readonly_directory : code

SQLITE_READONLY_DIRECTORY

val readonly_recovery : code

SQLITE_READONLY_RECOVERY

val readonly_rollback : code

SQLITE_READONLY_ROLLBACK

val warning_autoindex : code

SQLITE_WARNING_AUTOINDEX