package sqlexpr

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a result

type (!'a, !'b) statement = {

}

type (!'a, !'b, !'c) expression = {

}

type db

exception Error of string * exn

exception Sqlite_error of string * Sqlite3.Rc.t

val open_db : ?init:(Sqlite3.db -> unit) -> string -> db

val close_db : db -> unit

val borrow_worker : db -> (db -> 'a result) -> 'a result

val steal_worker : db -> (db -> 'a result) -> 'a result

val execute : db -> ('a, unit result) statement -> 'a

val insert : db -> ('a, int64 result) statement -> 'a

val select : db -> ('c, 'a, 'a list result) expression -> 'c

val select_f : 
  db ->
  ('a -> 'b result) ->
  ('c, 'a, 'b list result) expression ->
  'c

val select_one : db -> ('c, 'a, 'a result) expression -> 'c

val select_one_maybe : db -> ('c, 'a, 'a option result) expression -> 'c

val select_one_f : 
  db ->
  ('a -> 'b result) ->
  ('c, 'a, 'b result) expression ->
  'c

val select_one_f_maybe : 
  db ->
  ('a -> 'b result) ->
  ('c, 'a, 'b option result) expression ->
  'c

val transaction : 
  db ->
  ?kind:[ `DEFERRED | `EXCLUSIVE | `IMMEDIATE ] ->
  (db -> 'a result) ->
  'a result

val fold : 
  db ->
  ('a -> 'b -> 'a result) ->
  'a ->
  ('c, 'b, 'a result) expression ->
  'c

val iter : db -> ('a -> unit result) -> ('b, 'a, unit result) expression -> 'b

module Directives : sig ... end

module Conversion : sig ... end