aivika-4.0: A multi-paradigm simulation library

CopyrightCopyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>
LicenseBSD3
MaintainerDavid Sorokin <david.sorokin@gmail.com>
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Simulation.Aivika.QueueStrategy

Description

Tested with: GHC 7.8.3

This module defines the queue strategies.

Synopsis

Documentation

class QueueStrategy s where Source

Defines the basic queue strategy.

Associated Types

data StrategyQueue s :: * -> * Source

A queue used by the strategy.

Methods

newStrategyQueue Source

Arguments

:: s

the strategy

-> Simulation (StrategyQueue s i)

a new queue

Create a new queue by the specified strategy.

strategyQueueNull Source

Arguments

:: StrategyQueue s i

the queue

-> Event Bool

the result of the test

Test whether the queue is empty.

Instances

QueueStrategy StaticPriorities

An implementation of the StaticPriorities queue strategy.

QueueStrategy SIRO

An implementation of the SIRO queue strategy.

QueueStrategy LCFS

An implementation of the LCFS queue strategy.

QueueStrategy FCFS

An implementation of the FCFS queue strategy.

class QueueStrategy s => DequeueStrategy s where Source

Defines a strategy with support of the dequeuing operation.

Methods

strategyDequeue Source

Arguments

:: StrategyQueue s i

the queue

-> Event i

the dequeued element

Dequeue the front element and return it.

Instances

DequeueStrategy StaticPriorities

An implementation of the StaticPriorities queue strategy.

DequeueStrategy SIRO

An implementation of the SIRO queue strategy.

DequeueStrategy LCFS

An implementation of the LCFS queue strategy.

DequeueStrategy FCFS

An implementation of the FCFS queue strategy.

class DequeueStrategy s => EnqueueStrategy s where Source

It defines a strategy when we can enqueue a single element.

Methods

strategyEnqueue Source

Arguments

:: StrategyQueue s i

the queue

-> i

the element to be enqueued

-> Event ()

the action of enqueuing

Enqueue an element.

Instances

EnqueueStrategy SIRO

An implementation of the SIRO queue strategy.

EnqueueStrategy LCFS

An implementation of the LCFS queue strategy.

EnqueueStrategy FCFS

An implementation of the FCFS queue strategy.

class DequeueStrategy s => PriorityQueueStrategy s p | s -> p where Source

It defines a strategy when we can enqueue an element with the specified priority.

Methods

strategyEnqueueWithPriority Source

Arguments

:: StrategyQueue s i

the queue

-> p

the priority

-> i

the element to be enqueued

-> Event ()

the action of enqueuing

Enqueue an element with the specified priority.

Instances

PriorityQueueStrategy StaticPriorities Double

An implementation of the StaticPriorities queue strategy.

data FCFS Source

Strategy: First Come - First Served (FCFS).

Constructors

FCFS 

Instances

Eq FCFS 
Ord FCFS 
Show FCFS 
EnqueueStrategy FCFS

An implementation of the FCFS queue strategy.

DequeueStrategy FCFS

An implementation of the FCFS queue strategy.

QueueStrategy FCFS

An implementation of the FCFS queue strategy.

ResultItemable (ResultValue FCFS) 
data StrategyQueue FCFS = FCFSQueue (DoubleLinkedList i) 

data LCFS Source

Strategy: Last Come - First Served (LCFS)

Constructors

LCFS 

Instances

Eq LCFS 
Ord LCFS 
Show LCFS 
EnqueueStrategy LCFS

An implementation of the LCFS queue strategy.

DequeueStrategy LCFS

An implementation of the LCFS queue strategy.

QueueStrategy LCFS

An implementation of the LCFS queue strategy.

ResultItemable (ResultValue LCFS) 
data StrategyQueue LCFS = LCFSQueue (DoubleLinkedList i) 

data SIRO Source

Strategy: Service in Random Order (SIRO).

Constructors

SIRO 

Instances

Eq SIRO 
Ord SIRO 
Show SIRO 
EnqueueStrategy SIRO

An implementation of the SIRO queue strategy.

DequeueStrategy SIRO

An implementation of the SIRO queue strategy.

QueueStrategy SIRO

An implementation of the SIRO queue strategy.

ResultItemable (ResultValue SIRO) 
data StrategyQueue SIRO = SIROQueue (Vector i) 

data StaticPriorities Source

Strategy: Static Priorities. It uses the priority queue.

Constructors

StaticPriorities