Copyright	Copyright (c) 2009-2016 David Sorokin <david.sorokin@gmail.com>
License	BSD3
Maintainer	David Sorokin <david.sorokin@gmail.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Simulation.Aivika.IO.Resource.Preemption.Base

Contents

Description

Tested with: GHC 8.0.1

This module defines the optimised 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 Source #	The `MonadIO` based monad is an instance of `MonadResource`.
Associated Types data Resource (m :: * -> ) :: Source # Methods newResource :: Int -> Simulation m (Resource m) Source # newResourceWithMaxCount :: Int -> Maybe Int -> Simulation m (Resource m) Source # resourceCount :: Resource m -> Event m Int Source # resourceMaxCount :: Resource m -> Maybe Int Source # requestResourceWithPriority :: Resource m -> Double -> Process m () Source # releaseResource :: Resource m -> Process m () Source # usingResourceWithPriority :: Resource m -> Double -> Process m a -> Process m a Source # incResourceCount :: Resource m -> Int -> Event m () Source # decResourceCount :: Resource m -> Int -> Event m () Source # alterResourceCount :: Resource m -> Int -> Event m () Source #
(MonadDES m, MonadIO m, MonadTemplate m) => Eq (Resource m) Source #
Methods (==) :: Resource m -> Resource m -> Bool # (/=) :: Resource m -> Resource m -> Bool #