Simulation.Aivika.Lattice.QueueStrategy

Tested with: GHC 7.10.3

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

Orphan instances

QueueStrategy LIO FCFS

An implementation of the FCFS queue strategy.

Associated Types

data StrategyQueue (LIO :: * -> *) FCFS a :: *

Methods

newStrategyQueue :: FCFS -> Simulation LIO (StrategyQueue LIO FCFS a)

strategyQueueNull :: StrategyQueue LIO FCFS a -> Event LIO Bool

QueueStrategy LIO LCFS

An implementation of the LCFS queue strategy.

Associated Types

data StrategyQueue (LIO :: * -> *) LCFS a :: *

Methods

newStrategyQueue :: LCFS -> Simulation LIO (StrategyQueue LIO LCFS a)

strategyQueueNull :: StrategyQueue LIO LCFS a -> Event LIO Bool

DequeueStrategy LIO FCFS

An implementation of the FCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue LIO FCFS a -> Event LIO a

DequeueStrategy LIO LCFS

An implementation of the LCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue LIO LCFS a -> Event LIO a

EnqueueStrategy LIO FCFS

An implementation of the FCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue LIO FCFS a -> a -> Event LIO ()

EnqueueStrategy LIO LCFS

An implementation of the LCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue LIO LCFS a -> a -> Event LIO ()