Simulation.Aivika.IO.Event

Tested with: GHC 8.0.1

The module defines a template-based event queue, where the MonadIO-based monad can be an instance of EventQueueing and EventIOQueueing.

Orphan instances

(Monad m, MonadIO m, MonadEventQueueTemplate m) => EventQueueing m

A template-based implementation of the EventQueueing type class.

Associated Types

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

Methods

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

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

runEvent :: Event m a -> Dynamics m a

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

eventQueueCount :: Event m Int

(Monad m, MonadIO m, MonadEventQueueTemplate m, MonadDES m) => EventIOQueueing m

A template-based implementation of the EventIOQueueing type class.

Methods

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