rts/Ticker.h

   1 /* -----------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team 2005
   4  *
   5  * Interface to the OS-specific implementation of a regular time signal.
   6  *
   7  * ---------------------------------------------------------------------------*/
   8
   9 #ifndef TICKER_H
  10 #define TICKER_H
  11
  12 #include "BeginPrivate.h"
  13
  14 typedef void (*TickProc)(int);
  15
  16 void initTicker  (Time interval, TickProc handle_tick);
  17 void startTicker (void);
  18 void stopTicker  (void);
  19 void exitTicker  (rtsBool wait);
  20
  21 #include "EndPrivate.h"
  22
  23 #endif /* TICKER_H */