Network.HTTP.Pool.ConnectionPool

Definitions

record PoolManager : Type -> Type

Totality: possibly not terminating due to call to $resolved25840
Visibility: export
Constructor: 

MkPoolManager : IORef (List (Hostname, Pool e)) -> Nat -> Nat -> (String -> CertificateCheck IO) -> PoolManager e

Projections:

.certificate_checker : PoolManager e -> String -> CertificateCheck IO

.max_per_site_connections : PoolManager e -> Nat

.max_total_connections : PoolManager e -> Nat

.pools : PoolManager e -> IORef (List (Hostname, Pool e))

Hint: 

Scheduler e IO (PoolManager e)

new_pool_manager : HasIO io => Nat -> Nat -> (String -> CertificateCheck IO) -> io (PoolManager e)

Visibility: export

total_active_connections : Protocol -> PoolManager e -> IO Nat

Visibility: export