package caqti

You can search for identifiers within the package.

in-package search v0.2.0

caqti
- Caqti_common
- Caqti_common_priv
  - 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

A pool implementation for the current concurrency library.

type ('a, +'e) t

val create : 
  ?max_size:int ->
  ?check:('a -> (bool -> unit) -> unit) ->
  ?validate:('a -> bool future) ->
  (unit -> ('a, 'e) result future) ->
  ('a -> unit future) ->
  ('a, 'e) t

Internal: create alloc free is a pool of resources allocated by alloc and freed by free. This is primarily indented for implementing the connect_pool functions.

parameter max_size
Maximum number of resources to allocate at any given time.

parameter check
A function used to check a resource after use.

parameter validate
A function to check before use that a resource is still valid.

val size : ('a, 'e) t -> int

size pool is the current number of open resources in pool.

val use : 
  ?priority:float ->
  ('a -> ('b, 'e) result future) ->
  ('a, 'e) t ->
  ('b, 'e) result future

use f pool calls f on a resource drawn from pool, handing back the resource to the pool when f exits.

parameter priority
Requests for the resource are handled in decreasing order of priority. The default priority is 0.0.

val drain : ('a, 'e) t -> unit future

drain pool closes all resources in pool. The pool is still usable, as new resources will be created on demand.