package caqti

You can search for identifiers within the package.

in-package search v0.2.0

caqti
- Caqti_common
- Caqti_common_priv
  - Alog
  - List
  - Option
  - Result
- Caqti_connect
  - Make_unix
    
    CONNECTION
    
    Response
    
    Pool
    
    System
    
    Log
    
    Mvar
    
    Preemptive
    
    Stream
    
    Unix
- Caqti_connection
  - Make_convenience
    
    C
    
    Response
    
    Sys
    
    Log
    
    Mvar
    
    Stream
  - Make_helpers
    
    Sys
    
    Log
    
    Mvar
    
    Stream
  - Make_populate
    
    C
    
    Response
    
    Sys
    
    Log
    
    Mvar
    
    Stream
- Caqti_driver_info
- Caqti_driver_lib
- Caqti_error
- Caqti_heap
  - Make
    
    Elt
  - S
- Caqti_mult
- Caqti_pool
  - Make
    
    System
    
    Log
    
    Mvar
    
    Stream
- Caqti_query
- Caqti_request
- Caqti_sql
- Caqti_sql_io
  - MONAD
  - Make
    
    Io
  - S
- Caqti_stream
  - FUTURE
  - Make
    
    X
  - S
- Caqti_type
  - Field
  - Std
caqti.blocking
- Caqti_blocking
  - CONNECTION
    
    Response
  - Pool
  - Stream
- Caqti_blocking_sql_io

Legend:
Library
Module
Module type
Parameter
Class
Class type

Blocking API based on the Unix module.

Warning: This module is not well tested. Please report any issues.

This module implements a blocking API. It is not designed for preemptive threading. That is, connections and connection pools must be created and used within a single thread, and any limitation on multithreading from the driver or client library applies.

You can use a connection pool to cache a single DB connection, additional connections will not be allocated, since usage is serial.

include Caqti_connect_sig.S with type 'a future = 'a

type 'a future = 'a

The type of a deferred value of type 'a.

module Pool : Caqti_pool_sig.S with type 'a future := 'a future

A pool implementation for the current concurrency library.

module Stream : Caqti_stream.S with type 'a future := 'a future

module type CONNECTION =
  Caqti_connection_sig.S
    with type 'a future := 'a future
     and type ('a, 'err) stream := ('a, 'err) Stream.t

The connection API specialized for the current concurrency library.

type connection = (module CONNECTION)

Shortcut for the connection API passed as a value.

val connect : 
  Uri.t ->
  (connection, [> Caqti_error.load_or_connect ]) result future

connect uri locates and loads a driver which can handle uri, passes uri to the driver, which establish a connection and returns a first-class module implementing Caqti_connection_sig.S.

If you use preemptive threading, note that the connection must only be used from the thread where it was created.

val with_connection : 
  Uri.t ->
  (connection -> ('a, [> Caqti_error.load_or_connect ] as 'e) result future) ->
  ('a, 'e) result future

with_connection uri f calls connect on uri. If connect evaluates to Ok connection, with_connection passes the connection to f. Once f either evaluates to a result, or raises an exception, with_connection closes the database connection.

val connect_pool : 
  ?max_size:int ->
  ?max_idle_size:int ->
  ?post_connect:(connection -> (unit, 'connect_error) result future) ->
  Uri.t ->
  ((connection, [> Caqti_error.connect ] as 'connect_error) Pool.t,
    [> Caqti_error.load ])
    result

connect_pool uri is a pool of database connections constructed by connect uri.

Do not use pooling for connections to volatile resources like sqlite3::memory: and beware of temporary tables or other objects which may not be shared across connections to the same URI.

If you use preemptive threading, note that the connection pool must only be used from the thread where it was created. Use thread local storage to create a separate pool per thread if necessary.

parameter max_size
The maximum number of open connections. Must be at least 1. For drivers which does not support concurrent connections, this will be ignored and the value 1 used instead.

parameter max_idle_size
The maximum number of idle connections to put into the pool for reuse. Defaults to max_size. Must be between 0 and max_size. If you set this, you must also set max_size. For drivers which does not support pooling, this will be ignored and the value 0 used instead. For drivers which does not support concurrent connections, but supports pooling, the value will clipped to a maximum of 1.

val or_fail : ('a, [< Caqti_error.t ]) result -> 'a

Takes Ok x to x and raises Caqti_error.Exnerr on Error err.