Simulation.Aivika.IO.Resource.Preemption

Tested with: GHC 8.0.1

This module defines the preemptible resource, where the IO monad is an instance of MonadResource.

Orphan instances

MonadResource IO

The IO monad is an instance of MonadResource.

Associated Types

data Resource IO

Methods

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

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

resourceCount :: Resource IO -> Event IO Int

resourceMaxCount :: Resource IO -> Maybe Int

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

resourceCountChanged :: Resource IO -> Signal IO Int

resourceCountChanged_ :: Resource IO -> Signal IO ()

resourceUtilisationCount :: Resource IO -> Event IO Int

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

resourceUtilisationCountChanged :: Resource IO -> Signal IO Int

resourceUtilisationCountChanged_ :: Resource IO -> Signal IO ()

resourceQueueCount :: Resource IO -> Event IO Int

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

resourceQueueCountChanged :: Resource IO -> Signal IO Int

resourceQueueCountChanged_ :: Resource IO -> Signal IO ()

resourceTotalWaitTime :: Resource IO -> Event IO Double

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

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

resourceWaitTimeChanged_ :: Resource IO -> Signal IO ()

resourceChanged_ :: Resource IO -> Signal IO ()

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

releaseResource :: Resource IO -> Process IO ()

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

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

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

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

resetResource :: Resource IO -> Event IO ()

Eq (Resource IO)

Methods

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

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