System.TimeManager

A timeout manager

A manager whose timeout value is 0 (no callbacks are fired).

An action (callback) to be performed on timeout.

A handle used by a timeout manager.

Dummy Handle.

Creating timeout manager with a timeout value in microseconds.

Setting the timeout to zero or lower (<= 0) will produce a defaultManager.

WARNING for Windows users: the precision of extending timeouts is only full "seconds". The provided microseconds will be floored to the first full second. (i.e. initialize 2_500_000 will get extended by 2 seconds on a tickle) This also means timeouts of less than one second will not be extended when using tickle.

Obsoleted since version 0.3.0 Is now equivalent to pure ().

Obsoleted since version 0.3.0 Is now equivalent to pure ().

Call the inner function with a timeout manager.

Call the inner function with a timeout manager. This is identical to withManager.

Registering a timeout action and unregister its handle when the body action is finished.

Registering a timeout action of killing this thread and unregister its handle when the body action is killed or finished.

Extending the timeout.

To keep frequent callers cheap, the renewal is rate-limited: it is skipped unless at least a quarter of the timeout (capped at one second) has passed since the timeout was last registered or updated.

Careful: this does NOT reactivate an already paused Handle!

WARNING for Windows users: the precision of extending timeouts is only full "seconds". The provided microseconds will be floored to the first full second. (i.e. initialize 2_500_000 will get extended by 2 seconds on a tickle) This also means timeouts of less than one second will not be extended when using tickle.

Pauses the timeout so you can resume it later. Does not stop it entirely. Use cancel if you want to make sure the action will not be resumed.

To resume a timeout with the same Handle, resume MUST be called. Don't call tickle for resumption.

Resuming the timeout.

Works like tickle if the Handle wasn't paused or canceled.

Unregistering the timeout.

The timeout can not be resumed. To "resume" the timeout, you need to register again.

Registering a timeout action.

Registering a timeout action of killing this thread. TimeoutThread is thrown to the thread which called this function on timeout. Catch TimeoutThread if you don't want to leak the asynchronous exception to GHC RTS.

The asynchronous exception thrown if a thread is registered via registerKillThread.