Simulation.Aivika.Lattice.QueueStrategy

Tested with: GHC 7.10.3

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

Orphan instances

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

QueueStrategy LIO FCFS

An implementation of the FCFS queue strategy.

Associated Types

data StrategyQueue LIO FCFS :: Type -> Type

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 :: Type -> Type

Methods

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

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