Clocked

Documentation

data Timer

withTimer :: MonadCatchIO m => (Timer -> m a) -> m a

Run a monadic action with a Timer.

waitTimer :: Timer -> Double -> IO ()

Waits the given amount of seconds minus the elapsed time since the last call to waitTimer (or the initialisation of the timer).

getTimeDouble :: IO Double

returns a monotonic time in seconds