System.TimeManager

A timeout manager

No manager.

An action to be performed on timeout.

A handle used by a timeout manager.

Creating timeout manager which works every N micro seconds where N is the first argument.

Stopping timeout manager with onTimeout fired.

Killing timeout manager immediately without firing onTimeout.

Call the inner function with a timeout manager. stopManager is used after that.

Call the inner function with a timeout manager. killManager is used after that.

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

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

Setting the state to active. Manager turns active to inactive repeatedly.

Setting the state to paused. Manager does not change the value.

Setting the paused state to active. This is an alias to tickle.

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.

Removing the Handle from the Manager immediately.

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