Module Sqlite3.Rc

type unknown

Type of unknown return codes

val int_of_unknown : unknown -> int

int_of_unknown n converts unknown return code rc to an integer.

type t =
| OK
| ERROR
| INTERNAL
| PERM
| ABORT
| BUSY
| LOCKED
| NOMEM
| READONLY
| INTERRUPT
| IOERR
| CORRUPT
| NOTFOUND
| FULL
| CANTOPEN
| PROTOCOL
| EMPTY
| SCHEMA
| TOOBIG
| CONSTRAINT
| MISMATCH
| MISUSE
| NOFLS
| AUTH
| FORMAT
| RANGE
| NOTADB
| ROW
| DONE
| UNKNOWN of unknown

Type of return codes from failed or successful operations.

val to_string : t -> string

to_string rc converts return code rc to a string.

val check : t -> unit

check rc raises an exception if rc does not correspond to a return code indicating success.

val is_success : t -> bool

is_success rc

returns

true if rc indicates success (OK or DONE), false otherwise.