Module Make.PoolSource

This is an instantiation of Caqti_pool for the chosen thread monad.

Sourcetype 'a t
Sourceval create : ?max_size:int -> ?check:('a -> (bool -> unit) -> unit) -> ?validate:('a -> bool System.io) -> (unit -> 'a System.io) -> ('a -> unit System.io) -> 'a 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.

Sourceval size : 'a t -> int

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

Sourceval use : ?priority:float -> ('a -> 'b System.io) -> 'a t -> 'b System.io

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.

Sourceval drain : 'a t -> unit System.io

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