A Resource is an IO action which acquires some resource of type a and also returns a finalizer of type IO () that releases the resource.

The only safe way to use a Resource is withResource / 'withResource\'', You should not use the acquire field directly, unless you want to implement your own resource management. In the later case, you should always use mask_ since some resource initializations may assume async exceptions are masked.

MonadIO instance is provided so that you can lift IO computation inside Resource, this is convenient for propagating Resource around since many IO computations carry finalizers.

A convention in stdio is that functions returning a Resource should be named in initXXX format, users are strongly recommended to follow this convention.

There're two additional guarantees we made in stdio:

• All resources in stdio can track its own liveness, throw ResourceVanished exception using throwECLOSED or throwECLOSEDSTM when used after resource is closed.
• All resources' clean up action in stdio is idempotent.

Library authors providing initXXX are also encouraged to provide these guarantees.

Create Resource from create and release action.

Note, resource doesn't open resource itself, resource is created when you use with / with'.

Create Resource from create and release action.

This function is useful when you want to add some initialization and clean up action inside Resource monad.

Create a new resource and run some computation, resource is guarantee to be closed.

Be care don't leak the resource through computation return value, because after the computation finishes, the resource is closed already.

Create a new resource and run some computation, resource is guarantee to be closed.

The difference from with is that the computation will receive an extra close action, which can be used to close the resource early before the whole computation finished, the close action can be called multiple times, only the first call will clean up the resource.

A high performance resource pool based on STM.

We choose to not divide pool into strips due to the difficults in resource balancing. If there is a high contention on resource (see statPool), just increase the maximum number of resources can be opened.

Initialize a resource pool with given Resource

Like other initXXX functions, this function won't open a resource pool until you use withResource. And this resource pool follow the same resource management pattern like other resources.

Get a resource pool's PoolState

This function is useful when debug, under load lots of PoolEmpty may indicate contention on resources, i.e. the limit on maximum number of resources can be opened should be adjusted to a higher number. On the otherhand, lots of PoolScanning may indicate there're too much free resources.

Obtain the pooled resource inside a given resource pool.

You shouldn't use withResource with this resource after you closed the pool, an ResourceVanished with EPOOLCLOSED name will be thrown.