Simulation.Aivika.IO.Resource.Preemption

Tested with: GHC 8.0.1

This module defines the preemptible resource, where the MonadIO-based monad can be an instance of MonadResource.

Orphan instances

(Monad m, MonadDES m, MonadIO m, MonadTemplate m) => MonadResource m

The MonadIO based monad is an instance of MonadResource.

Associated Types

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

Methods

newResource :: Int -> Event m (Resource m)

newResourceWithMaxCount :: Int -> Maybe Int -> Event m (Resource m)

resourceCount :: Resource m -> Event m Int

resourceMaxCount :: Resource m -> Maybe Int

resourceCountStats :: Resource m -> Event m (TimingStats Int)

resourceCountChanged :: Resource m -> Signal m Int

resourceCountChanged_ :: Resource m -> Signal m ()

resourceUtilisationCount :: Resource m -> Event m Int

resourceUtilisationCountStats :: Resource m -> Event m (TimingStats Int)

resourceUtilisationCountChanged :: Resource m -> Signal m Int

resourceUtilisationCountChanged_ :: Resource m -> Signal m ()

resourceQueueCount :: Resource m -> Event m Int

resourceQueueCountStats :: Resource m -> Event m (TimingStats Int)

resourceQueueCountChanged :: Resource m -> Signal m Int

resourceQueueCountChanged_ :: Resource m -> Signal m ()

resourceTotalWaitTime :: Resource m -> Event m Double

resourceWaitTime :: Resource m -> Event m (SamplingStats Double)

resourceWaitTimeChanged :: Resource m -> Signal m (SamplingStats Double)

resourceWaitTimeChanged_ :: Resource m -> Signal m ()

resourceChanged_ :: Resource m -> Signal m ()

requestResourceWithPriority :: Resource m -> Double -> Process m ()

releaseResource :: Resource m -> Process m ()

usingResourceWithPriority :: Resource m -> Double -> Process m a -> Process m a

incResourceCount :: Resource m -> Int -> Event m ()

decResourceCount :: Resource m -> Int -> Event m ()

alterResourceCount :: Resource m -> Int -> Event m ()

(MonadDES m, MonadIO m, MonadTemplate m) => Eq (Resource m)

Methods

(==) :: Resource m -> Resource m -> Bool

(/=) :: Resource m -> Resource m -> Bool