package sqlite3EZ

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Thin wrapper for Sqlite3 with a simplified interface

module Rc : sig ... end
module Data : sig ... end
exception Rc of Rc.t

raised whenever an SQLite operation returns an unsuccessful return code

exception Finally of exn * exn

raised when we are trying to handle an exception and another exception is raised (e.g. we are executing a transaction, encounter an exception, and issue a ROLLBACK command, which itself fails)

type db
val db_open : ?mode:[ `READONLY | `NO_CREATE ] -> ?mutex:[ `FULL | `NO ] -> ?cache:[ `PRIVATE | `SHARED ] -> ?vfs:string -> string -> db

as Sqlite3.db_open

val db_close : db -> unit

immediately close the database. The database connection will otherwise be closed when garbage-collected.

val with_db : ?mode:[ `READONLY | `NO_CREATE ] -> ?mutex:[ `FULL | `NO ] -> ?cache:[ `PRIVATE | `SHARED ] -> ?vfs:string -> string -> (db -> 'a) -> 'a

with_db filename f opens a database, applies f, and returns the result. The database is closed after f is evaluated, even if it raises an exception.

val transact : db -> (db -> 'a) -> 'a

transact db f evaluates f db within a BEGIN..COMMIT transaction. If f db evaluates successfully to y, the transaction is committed and y is returned. If the evaluation of f db raises an exception, the transaction is rolled back and the exception is re-raised.

Note that BEGIN..COMMIT transactions cannot be nested in SQLite. Any attempt to make a nested call to transact will raise an exception.

val atomically : db -> (db -> 'a) -> 'a

atomically db f evaluates f db within a SAVEPOINT..RELEASE transaction, which may be nested.

This implementation allows only parenthetically nested transactions, so there is no need to name savepoints.

val exec : db -> string -> unit

execute some imperative SQL statement(s). Multiple statements may be separated by a semicolon.

val last_insert_rowid : db -> Int64.t

as Sqlite3.last_insert_rowid

val changes : db -> int

as Sqlite3.changes

type statement

a compiled statement, can be either imperative or a query

val make_statement : db -> string -> statement

prepare a statement from the SQL text. The given string must contain only one SQL statement. The statement can be used multiple times (calls to Sqlite3.reset are handled automatically). The statement is not actually compiled until its first use.

val statement_exec : statement -> Data.t array -> unit

bind the given parameters and execute an imperative statement. An exception is raised if the statement attempts to return result rows.

val statement_query : statement -> Data.t array -> (Data.t array -> 'a) -> ('a -> 'b -> 'b) -> 'b -> 'b

statement_query stmt params cons fold init binds the given parameters and executes a query. Each result row is first passed to cons, which will usually construct a value from the data. This value is then passed to fold along with an intermediate value, which is init for the first row. This can used to build a list or other data structure from all the results.

val statement_finalize : statement -> unit

immediately finalize the statement, releasing any associated resources. The statement will otherwise be finalized when garbage-collected.

OCaml

Innovation. Community. Security.