Simulation.Aivika.IO.Resource.Preemption.Base

Tested with: GHC 8.0.1

This module defines an optimised 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 -> Simulation IO (Resource IO)

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

resourceCount :: Resource IO -> Event IO Int

resourceMaxCount :: Resource IO -> Maybe Int

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 ()

Eq (Resource IO)

Methods

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

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