Simulation.Aivika.Branch.QueueStrategy

Tested with: GHC 7.10.3

This module defines queue strategies FCFS and LCFS for the BR computation.

Orphan instances

DequeueStrategy (BR IO) FCFS

An implementation of the FCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue (BR IO) FCFS a -> Event (BR IO) a

DequeueStrategy (BR IO) LCFS

An implementation of the LCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue (BR IO) LCFS a -> Event (BR IO) a

EnqueueStrategy (BR IO) FCFS

An implementation of the FCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue (BR IO) FCFS a -> a -> Event (BR IO) ()

EnqueueStrategy (BR IO) LCFS

An implementation of the LCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue (BR IO) LCFS a -> a -> Event (BR IO) ()

QueueStrategy (BR IO) FCFS

An implementation of the FCFS queue strategy.

Associated Types

data StrategyQueue (BR IO) FCFS :: Type -> Type

Methods

newStrategyQueue :: FCFS -> Simulation (BR IO) (StrategyQueue (BR IO) FCFS a)

strategyQueueNull :: StrategyQueue (BR IO) FCFS a -> Event (BR IO) Bool

QueueStrategy (BR IO) LCFS

An implementation of the LCFS queue strategy.

Associated Types

data StrategyQueue (BR IO) LCFS :: Type -> Type

Methods

newStrategyQueue :: LCFS -> Simulation (BR IO) (StrategyQueue (BR IO) LCFS a)

strategyQueueNull :: StrategyQueue (BR IO) LCFS a -> Event (BR IO) Bool