OxError

Capability granted by a supervisedError concurrency scope.

Represents a capability to:

• fork supervised or unsupervised, asynchronously running computations in a concurrency scope. Such forks can be created e.g. using forkError, forkUserError, fork, forkUnsupervised, forkCancellable.
• register resources to be cleaned up after the scope ends

OxError is similar to Ox, however it additionally allows completing forks with application errors of type E in context F. Such errors cause enclosing scope to end, and any forks that are still running to be cancelled