package resource-pooling
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Library for pooling resources like connections, threads, or similar
Install
dune-project
Dependency
Authors
Maintainers
Sources
resource-pooling-1.3.tbz
sha256=10026abfeaea0a5acc7c15c5e21030bc43fe637692da05c13c6f3ccae222ffef
sha512=50186ed79db3e9fe5274bcec8bbcc8e83a12f30d9be1dec4e9ad45b9bf01ce60fe76d9e4d95d3599f93572755c536a0e98bd53a38b1d11a422878b317ee7e4ac
Description
This package is derived from the module Lwt_pool from the lwt package, which implements resource pooling. With Resource_pool this package provides a modified version with additional features. Also there is a module called Server_pool that manages resource clusters, specifically a cluster of servers each with its own connection pool.
Published: 15 Jun 2026
Dev Dependencies
None
Used by (1)
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page