Jens Nolte
authored
This adds the capability to report exceptions from both ResourceManagerIO and ResourceManagerSTM, further increasing feature parity. Adds a timeout to the root resource manager before exceptions are logged to the console (usually they are thrown as a CombinedException, so logging is only required for debugging visibility when resource management is deadlocked).
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| Async | ||
| Observable | ||
| Timer | ||
| Utils | ||
| Async.hs | ||
| Awaitable.hs | ||
| Disposable.hs | ||
| Observable.hs | ||
| Prelude.hs | ||
| PreludeExtras.hs | ||
| ResourceManager.hs | ||
| Subscribable.hs | ||
| Timer.hs | ||