Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Provider res
- withProvider :: (forall r. (res -> IO r) -> IO r) -> (Provider res -> IO a) -> IO a
- withResource :: Provider res -> (res -> IO a) -> IO a
- shareResource :: Provider res -> res -> IO a -> IO a
- withSharedResource :: Provider res -> (res -> IO a) -> IO a
Introduction
This module provides a thread-safe, pool-compatible resource provider
abstraction that supports resource-sharing within nested actions. While it
was designed with resource pools in mind, the interface supports any
with
-style means of acquiring a resource.
withResource
can be used to acquire a resource from the provider, and
shareResource
can be used to share a particular resource for the duration
of an action. Subsequent calls to shareResource
in that action are
idempotent. Note that if a resource-shared action spins up new threads, the
shared resource will not be shared implicitly across thread boundaries.
While shareResource
offers the most control over resource-sharing,
withSharedResource
can be used as a convenience in the relatively common
case where a resource is acquired and then immediately shared within an
inner action.
Provider
Core operations
withResource :: Provider res -> (res -> IO a) -> IO a Source #
Acquire a resource from the specified Provider
, for the duration of the
specified action.
Since: 0.1.0.0
shareResource :: Provider res -> res -> IO a -> IO a Source #
Tell the specified Provider
to share the specified resource for the
duration of the specified action. All calls to withResource
(or
withSharedResource
) within the action will return the shared resource.
Since: 0.1.0.0
Convenience
withSharedResource :: Provider res -> (res -> IO a) -> IO a Source #
Acquire a resource from the specified Provider
and share that resource
for the duration of the specified action. All calls to withResource
(or
withSharedResource
) within the action will return the shared resource.
This is a convenience function combining withResource
and shareResource
.
Since: 0.1.0.0