Scalable timer functions provided by a timer manager
and thread management functions to prevent thread
leak by a thread manager.
Changes
ChangeLog for time-manager
0.3.0
New architecture. The backend is switched from the designated thread
to GHC’s System TimerManager. From this version, this library is
just wrapper APIs of GHC’s System TimerManager. Unlike v0.2 or
earlier, callbacks are executed at the exact time. System
TimerManager uses a PSQ (a tree) while v0.2 or earlier uses a list.
So, this version hopefully scales better.
Deprecated functions: stopManager, killManager and withManager'.
tickle sets the specified timeout from now.
pause is now identical to cancel.
resume is now re-registration of timeout.
The signature of withHandle is changed.
0.2.4
Providing isAllGone.
Providing emptyHandle.
0.2.3
Exporting defaultManager.
0.2.2
initialize with non positive integer creates a time manager
which does not maintain timeout.
#1017