Test.SimulatedTime

Contains a simulated-time implementaion. It can be used directly, to implement the simulated versions of getCurrentTime and threadDelay, or can be used via monad transformers defined in SimulatedTime

Documentation

data TimeEnv

It remembers the offset from system time and keeps a list of sleeping threads (threads in threadDelay' call)

create :: UTCTime -> IO TimeEnv

Create the simulated time env from the given time start point. For example

timeEnv <- create (fromGregorian 2000 1 1) 0
getSimulatedTime timeEnv

advance :: TimeEnv -> NominalDiffTime -> IO ()

Move the simulated time by a delta

triggerEvents :: TimeEnv -> IO ()

Wake up due sleeping threads, based on TimeEnv. This happens on its own, but this call can quicken things up. Under the hood it is just advance tenv 0

getSimulatedTime :: TimeEnv -> IO UTCTime

The current simulated time

threadDelay' :: TimeEnv -> Int -> IO ()

Simulated alternative to threadDelay, sleep for the given number of microseconds. Threads wakes up according to the simulated time.