Control.Monad.Event

Documentation

scheduleEventAt :: (ScheduleEvent m t e, Num t) => t -> e -> m EventID

schedule an event at an absolute time (see scheduleEventIn)

retryEventAt :: (RetryEvent m t, Num t) => t -> m EventID

retry the currently-executing event at an absolute time (see retryEventIn)

module Control.Monad.Event.BasicEvents

module Control.Monad.Event.Classes

module Control.Monad.EventT

data EventDescriptor m t

An existential wrapper containing an event which can be executed in the monad m.

I would like to existentially quantify the time parameter too, since it's uniquely determined according to the functional dependencies of MonadTime, but GHC doesn't unify it with its actual type in pattern matches - I was not able to use it as a PrintfArg in:

 instance MonadEvent (EventT Double IO) (EventDescriptor (EventT Double IO))

Constructors

forall e . ScheduleEvent m t e => EventDescriptor

Fields

eventId :: EventID

eventTime :: t

event :: e

Instances

(Monad m, Pretty t) => MonadEvent (EventT t m) (EventDescriptor (EventT t m) t)

newtype EventID

An opaque identifier for events.

Constructors

EventID Int

Instances

Enum EventID

Eq EventID

Ord EventID

Pretty EventID