Module Sqlite3.RcSource

Sourcetype unknown

Type of unknown return codes

Sourceval int_of_unknown : unknown -> int

int_of_unknown n converts unknown return code rc to an integer.

Sourcetype t =
  1. | OK
  2. | ERROR
  3. | INTERNAL
  4. | PERM
  5. | ABORT
  6. | BUSY
  7. | LOCKED
  8. | NOMEM
  9. | READONLY
  10. | INTERRUPT
  11. | IOERR
  12. | CORRUPT
  13. | NOTFOUND
  14. | FULL
  15. | CANTOPEN
  16. | PROTOCOL
  17. | EMPTY
  18. | SCHEMA
  19. | TOOBIG
  20. | CONSTRAINT
  21. | MISMATCH
  22. | MISUSE
  23. | NOFLS
  24. | AUTH
  25. | FORMAT
  26. | RANGE
  27. | NOTADB
  28. | ROW
  29. | DONE
  30. | UNKNOWN of unknown

Type of return codes from failed or successful operations.

Sourceval to_string : t -> string

to_string rc converts return code rc to a string.

Sourceval check : t -> unit

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

Sourceval is_success : t -> bool

is_success rc

  • returns

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