Simulation.Aivika.RealTime.QueueStrategy

Tested with: GHC 8.0.1

This module defines some queue strategy instances for the RT computations.

Orphan instances

(MonadComp m, MonadIO m) => QueueStrategy (RT m) SIRO

An implementation of the SIRO queue strategy.

Associated Types

data StrategyQueue (RT m :: * -> *) SIRO a :: *

Methods

newStrategyQueue :: SIRO -> Simulation (RT m) (StrategyQueue (RT m) SIRO a)

strategyQueueNull :: StrategyQueue (RT m) SIRO a -> Event (RT m) Bool

(MonadComp m, MonadIO m) => QueueStrategy (RT m) StaticPriorities

An implementation of the StaticPriorities queue strategy.

Associated Types

data StrategyQueue (RT m :: * -> *) StaticPriorities a :: *

Methods

newStrategyQueue :: StaticPriorities -> Simulation (RT m) (StrategyQueue (RT m) StaticPriorities a)

strategyQueueNull :: StrategyQueue (RT m) StaticPriorities a -> Event (RT m) Bool

(MonadComp m, MonadIO m) => QueueStrategy (RT m) LCFS

An implementation of the LCFS queue strategy.

Associated Types

data StrategyQueue (RT m :: * -> *) LCFS a :: *

Methods

newStrategyQueue :: LCFS -> Simulation (RT m) (StrategyQueue (RT m) LCFS a)

strategyQueueNull :: StrategyQueue (RT m) LCFS a -> Event (RT m) Bool

(Monad m, MonadComp m, MonadIO m) => QueueStrategy (RT m) FCFS

An implementation of the FCFS queue strategy.

Associated Types

data StrategyQueue (RT m :: * -> *) FCFS a :: *

Methods

newStrategyQueue :: FCFS -> Simulation (RT m) (StrategyQueue (RT m) FCFS a)

strategyQueueNull :: StrategyQueue (RT m) FCFS a -> Event (RT m) Bool

(QueueStrategy (RT m) SIRO, MonadComp m, MonadIO m) => DequeueStrategy (RT m) SIRO

An implementation of the SIRO queue strategy.

Methods

strategyDequeue :: StrategyQueue (RT m) SIRO a -> Event (RT m) a

(QueueStrategy (RT m) StaticPriorities, MonadComp m, MonadIO m) => DequeueStrategy (RT m) StaticPriorities

An implementation of the StaticPriorities queue strategy.

Methods

strategyDequeue :: StrategyQueue (RT m) StaticPriorities a -> Event (RT m) a

(QueueStrategy (RT m) LCFS, MonadComp m, MonadIO m) => DequeueStrategy (RT m) LCFS

An implementation of the LCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue (RT m) LCFS a -> Event (RT m) a

(QueueStrategy (RT m) FCFS, MonadComp m, MonadIO m) => DequeueStrategy (RT m) FCFS

An implementation of the FCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue (RT m) FCFS a -> Event (RT m) a

(DequeueStrategy (RT m) SIRO, MonadComp m, MonadIO m) => EnqueueStrategy (RT m) SIRO

A template-based implementation of the SIRO queue strategy.

Methods

strategyEnqueue :: StrategyQueue (RT m) SIRO a -> a -> Event (RT m) ()

(DequeueStrategy (RT m) LCFS, MonadComp m, MonadIO m) => EnqueueStrategy (RT m) LCFS

An implementation of the LCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue (RT m) LCFS a -> a -> Event (RT m) ()

(DequeueStrategy (RT m) FCFS, MonadComp m, MonadIO m) => EnqueueStrategy (RT m) FCFS

An implementation of the FCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue (RT m) FCFS a -> a -> Event (RT m) ()

(DequeueStrategy (RT m) SIRO, MonadComp m, MonadIO m) => DeletingQueueStrategy (RT m) SIRO

An implementation of the SIRO queue strategy.

Methods

strategyQueueDelete :: Eq a => StrategyQueue (RT m) SIRO a -> a -> Event (RT m) Bool

strategyQueueDeleteBy :: StrategyQueue (RT m) SIRO a -> (a -> Bool) -> Event (RT m) (Maybe a)

strategyQueueContains :: Eq a => StrategyQueue (RT m) SIRO a -> a -> Event (RT m) Bool

strategyQueueContainsBy :: StrategyQueue (RT m) SIRO a -> (a -> Bool) -> Event (RT m) (Maybe a)

(DequeueStrategy (RT m) StaticPriorities, MonadComp m, MonadIO m) => DeletingQueueStrategy (RT m) StaticPriorities

An implementation of the StaticPriorities queue strategy.

Methods

strategyQueueDelete :: Eq a => StrategyQueue (RT m) StaticPriorities a -> a -> Event (RT m) Bool

strategyQueueDeleteBy :: StrategyQueue (RT m) StaticPriorities a -> (a -> Bool) -> Event (RT m) (Maybe a)

strategyQueueContains :: Eq a => StrategyQueue (RT m) StaticPriorities a -> a -> Event (RT m) Bool

strategyQueueContainsBy :: StrategyQueue (RT m) StaticPriorities a -> (a -> Bool) -> Event (RT m) (Maybe a)

(DequeueStrategy (RT m) LCFS, MonadComp m, MonadIO m) => DeletingQueueStrategy (RT m) LCFS

An implementation of the LCFS queue strategy.

Methods

strategyQueueDelete :: Eq a => StrategyQueue (RT m) LCFS a -> a -> Event (RT m) Bool

strategyQueueDeleteBy :: StrategyQueue (RT m) LCFS a -> (a -> Bool) -> Event (RT m) (Maybe a)

strategyQueueContains :: Eq a => StrategyQueue (RT m) LCFS a -> a -> Event (RT m) Bool

strategyQueueContainsBy :: StrategyQueue (RT m) LCFS a -> (a -> Bool) -> Event (RT m) (Maybe a)

(DequeueStrategy (RT m) FCFS, MonadComp m, MonadIO m) => DeletingQueueStrategy (RT m) FCFS

An implementation of the FCFS queue strategy.

Methods

strategyQueueDelete :: Eq a => StrategyQueue (RT m) FCFS a -> a -> Event (RT m) Bool

strategyQueueDeleteBy :: StrategyQueue (RT m) FCFS a -> (a -> Bool) -> Event (RT m) (Maybe a)

strategyQueueContains :: Eq a => StrategyQueue (RT m) FCFS a -> a -> Event (RT m) Bool

strategyQueueContainsBy :: StrategyQueue (RT m) FCFS a -> (a -> Bool) -> Event (RT m) (Maybe a)

(DequeueStrategy (RT m) StaticPriorities, MonadComp m, MonadIO m) => PriorityQueueStrategy (RT m) StaticPriorities Double

An implementation of the StaticPriorities queue strategy.

Methods

strategyEnqueueWithPriority :: StrategyQueue (RT m) StaticPriorities a -> Double -> a -> Event (RT m) ()