Simulation.Aivika.IO.Event

Tested with: GHC 8.0.1

The module defines an event queue, where the IO monad is an instance of EventQueueing and EventIOQueueing.

Orphan instances

EventQueueing IO

An implementation of the EventQueueing type class.

Associated Types

data EventQueue (IO :: * -> *) :: *

Methods

newEventQueue :: Specs IO -> IO (EventQueue IO)

enqueueEvent :: Double -> Event IO () -> Event IO ()

runEvent :: Event IO a -> Dynamics IO a

runEventWith :: EventProcessing -> Event IO a -> Dynamics IO a

eventQueueCount :: Event IO Int

EventIOQueueing IO

An implementation of the EventIOQueueing type class.

Methods

enqueueEventIO :: Double -> Event IO () -> Event IO ()