Pool

depot/lib/pool.march Actor-based connection pool for PostgreSQL connections.

Types

typePoolConfigPoolConfig = {#

typePoolStatsPoolStats = {#

typePoolStatePoolState = {#

fncheckincheckin(pool, conn)#

fncheckoutcheckout(pool)#

fnclose_allclose_all(conns)#

fndefault_pool_configdefault_pool_config(conn_cfg)#

fnhandle_checkouthandle_checkout(state : PoolState)#

fnhandle_pool_inithandle_pool_init(state : PoolState, cfg : PoolConfig)#

fnlist_lenlist_len(lst)#

fnpingping(pool)#

fnping_connsping_conns(conns, acc)#

fnreplenish_idlereplenish_idle(cfg_opt, healthy)#

fnrev_conns_accrev_conns_acc(lst, acc)#

fnshutdownshutdown(pool)#

fnstartstart(config)#

fnstatsstats(pool)#

fnwarm_upwarm_up(conn_cfg, target, acc, count)#

fnwith_connwith_conn(pool, callback)#

fnwith_conn_pinnedwith_conn_pinned(pool, callback)#