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 set_retry_on_busy : bool -> unit

val get_retry_on_busy : unit -> bool

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 -> ?batch:int -> ('c, 'a, 'a list result) expression -> 'c

val select_f : 
  db ->
  ?batch:int ->
  ('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 | `IMMEDIATE | `EXCLUSIVE ] ->
  (db -> 'a result) ->
  'a result

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

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

module Directives : sig ... end

module Conversion : sig ... end