Simulation.Aivika.QueueStrategy

Tested with: GHC 8.0.1

This module defines the queue strategies.

Documentation

class QueueStrategy s where

Defines the basic queue strategy.

Minimal complete definition

newStrategyQueue, strategyQueueNull

Associated Types

data StrategyQueue s :: * -> *

A queue used by the strategy.

Methods

newStrategyQueue :: s -> Simulation (StrategyQueue s i)

Create a new queue by the specified strategy.

strategyQueueNull :: StrategyQueue s i -> Event Bool

Test whether the queue is empty.

Instances

QueueStrategy StaticPriorities

An implementation of the StaticPriorities queue strategy.

Associated Types

data StrategyQueue StaticPriorities a :: *

Methods

newStrategyQueue :: StaticPriorities -> Simulation (StrategyQueue StaticPriorities i)

strategyQueueNull :: StrategyQueue StaticPriorities i -> Event Bool

QueueStrategy SIRO

An implementation of the SIRO queue strategy.

Associated Types

data StrategyQueue SIRO a :: *

Methods

newStrategyQueue :: SIRO -> Simulation (StrategyQueue SIRO i)

strategyQueueNull :: StrategyQueue SIRO i -> Event Bool

QueueStrategy LCFS

An implementation of the LCFS queue strategy.

Associated Types

data StrategyQueue LCFS a :: *

Methods

newStrategyQueue :: LCFS -> Simulation (StrategyQueue LCFS i)

strategyQueueNull :: StrategyQueue LCFS i -> Event Bool

QueueStrategy FCFS

An implementation of the FCFS queue strategy.

Associated Types

data StrategyQueue FCFS a :: *

Methods

newStrategyQueue :: FCFS -> Simulation (StrategyQueue FCFS i)

strategyQueueNull :: StrategyQueue FCFS i -> Event Bool

class QueueStrategy s => DequeueStrategy s where

Defines a strategy with support of the dequeuing operation.

Minimal complete definition

strategyDequeue

Methods

strategyDequeue :: StrategyQueue s i -> Event i

Dequeue the front element and return it.

Instances

DequeueStrategy StaticPriorities

An implementation of the StaticPriorities queue strategy.

Methods

strategyDequeue :: StrategyQueue StaticPriorities i -> Event i

DequeueStrategy SIRO

An implementation of the SIRO queue strategy.

Methods

strategyDequeue :: StrategyQueue SIRO i -> Event i

DequeueStrategy LCFS

An implementation of the LCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue LCFS i -> Event i

DequeueStrategy FCFS

An implementation of the FCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue FCFS i -> Event i

class DequeueStrategy s => EnqueueStrategy s where

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

Minimal complete definition

strategyEnqueue

Methods

strategyEnqueue :: StrategyQueue s i -> i -> Event ()

Enqueue an element.

Instances

EnqueueStrategy SIRO

An implementation of the SIRO queue strategy.

Methods

strategyEnqueue :: StrategyQueue SIRO i -> i -> Event ()

EnqueueStrategy LCFS

An implementation of the LCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue LCFS i -> i -> Event ()

EnqueueStrategy FCFS

An implementation of the FCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue FCFS i -> i -> Event ()

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

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

Minimal complete definition

strategyEnqueueWithPriority

Methods

strategyEnqueueWithPriority :: StrategyQueue s i -> p -> i -> Event ()

Enqueue an element with the specified priority.

Instances

PriorityQueueStrategy StaticPriorities Double

An implementation of the StaticPriorities queue strategy.

Methods

strategyEnqueueWithPriority :: StrategyQueue StaticPriorities i -> Double -> i -> Event ()

class DequeueStrategy s => DeletingQueueStrategy s where

Defines a strategy with support of the deleting operation.

Minimal complete definition

strategyQueueDeleteBy, strategyQueueContainsBy

Methods

strategyQueueDelete :: Eq i => StrategyQueue s i -> i -> Event Bool

Remove the element and return a flag indicating whether the element was found and removed.

strategyQueueDeleteBy :: StrategyQueue s i -> (i -> Bool) -> Event (Maybe i)

Remove an element satisfying the predicate and return the element if found.

strategyQueueContains :: Eq i => StrategyQueue s i -> i -> Event Bool

Detect whether the specified element is contained in the queue.

strategyQueueContainsBy :: StrategyQueue s i -> (i -> Bool) -> Event (Maybe i)

Detect whether an element satifying the specified predicate is contained in the queue.

Instances

DeletingQueueStrategy StaticPriorities

An implementation of the StaticPriorities queue strategy.

Methods

strategyQueueDelete :: Eq i => StrategyQueue StaticPriorities i -> i -> Event Bool

strategyQueueDeleteBy :: StrategyQueue StaticPriorities i -> (i -> Bool) -> Event (Maybe i)

strategyQueueContains :: Eq i => StrategyQueue StaticPriorities i -> i -> Event Bool

strategyQueueContainsBy :: StrategyQueue StaticPriorities i -> (i -> Bool) -> Event (Maybe i)

DeletingQueueStrategy SIRO

An implementation of the SIRO queue strategy.

Methods

strategyQueueDelete :: Eq i => StrategyQueue SIRO i -> i -> Event Bool

strategyQueueDeleteBy :: StrategyQueue SIRO i -> (i -> Bool) -> Event (Maybe i)

strategyQueueContains :: Eq i => StrategyQueue SIRO i -> i -> Event Bool

strategyQueueContainsBy :: StrategyQueue SIRO i -> (i -> Bool) -> Event (Maybe i)

DeletingQueueStrategy LCFS

An implementation of the LCFS queue strategy.

Methods

strategyQueueDelete :: Eq i => StrategyQueue LCFS i -> i -> Event Bool

strategyQueueDeleteBy :: StrategyQueue LCFS i -> (i -> Bool) -> Event (Maybe i)

strategyQueueContains :: Eq i => StrategyQueue LCFS i -> i -> Event Bool

strategyQueueContainsBy :: StrategyQueue LCFS i -> (i -> Bool) -> Event (Maybe i)

DeletingQueueStrategy FCFS

An implementation of the FCFS queue strategy.

Methods

strategyQueueDelete :: Eq i => StrategyQueue FCFS i -> i -> Event Bool

strategyQueueDeleteBy :: StrategyQueue FCFS i -> (i -> Bool) -> Event (Maybe i)

strategyQueueContains :: Eq i => StrategyQueue FCFS i -> i -> Event Bool

strategyQueueContainsBy :: StrategyQueue FCFS i -> (i -> Bool) -> Event (Maybe i)

data FCFS

Strategy: First Come - First Served (FCFS).

Constructors

FCFS

Instances

Eq FCFS

Methods

(==) :: FCFS -> FCFS -> Bool

(/=) :: FCFS -> FCFS -> Bool

Ord FCFS

Methods

compare :: FCFS -> FCFS -> Ordering

(<) :: FCFS -> FCFS -> Bool

(<=) :: FCFS -> FCFS -> Bool

(>) :: FCFS -> FCFS -> Bool

(>=) :: FCFS -> FCFS -> Bool

max :: FCFS -> FCFS -> FCFS

min :: FCFS -> FCFS -> FCFS

Show FCFS

Methods

showsPrec :: Int -> FCFS -> ShowS

show :: FCFS -> String

showList :: [FCFS] -> ShowS

DeletingQueueStrategy FCFS

An implementation of the FCFS queue strategy.

Methods

strategyQueueDelete :: Eq i => StrategyQueue FCFS i -> i -> Event Bool

strategyQueueDeleteBy :: StrategyQueue FCFS i -> (i -> Bool) -> Event (Maybe i)

strategyQueueContains :: Eq i => StrategyQueue FCFS i -> i -> Event Bool

strategyQueueContainsBy :: StrategyQueue FCFS i -> (i -> Bool) -> Event (Maybe i)

EnqueueStrategy FCFS

An implementation of the FCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue FCFS i -> i -> Event ()

DequeueStrategy FCFS

An implementation of the FCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue FCFS i -> Event i

QueueStrategy FCFS

An implementation of the FCFS queue strategy.

Associated Types

data StrategyQueue FCFS a :: *

Methods

newStrategyQueue :: FCFS -> Simulation (StrategyQueue FCFS i)

strategyQueueNull :: StrategyQueue FCFS i -> Event Bool

ResultItemable (ResultValue FCFS)

Methods

resultItemName :: ResultValue FCFS -> ResultName

resultItemNamePath :: ResultValue FCFS -> [ResultName]

resultItemId :: ResultValue FCFS -> ResultId

resultItemIdPath :: ResultValue FCFS -> [ResultId]

resultItemSignal :: ResultValue FCFS -> ResultSignal

resultItemExpansion :: ResultValue FCFS -> ResultSource

resultItemSummary :: ResultValue FCFS -> ResultSource

resultItemAsIntValue :: ResultValue FCFS -> Maybe (ResultValue Int)

resultItemAsIntListValue :: ResultValue FCFS -> Maybe (ResultValue [Int])

resultItemAsIntStatsValue :: ResultValue FCFS -> Maybe (ResultValue (SamplingStats Int))

resultItemAsIntTimingStatsValue :: ResultValue FCFS -> Maybe (ResultValue (TimingStats Int))

resultItemAsDoubleValue :: ResultValue FCFS -> Maybe (ResultValue Double)

resultItemAsDoubleListValue :: ResultValue FCFS -> Maybe (ResultValue [Double])

resultItemAsDoubleStatsValue :: ResultValue FCFS -> Maybe (ResultValue (SamplingStats Double))

resultItemAsDoubleTimingStatsValue :: ResultValue FCFS -> Maybe (ResultValue (TimingStats Double))

resultItemAsStringValue :: ResultValue FCFS -> Maybe (ResultValue String)

data StrategyQueue FCFS

data StrategyQueue FCFS = FCFSQueue (DoubleLinkedList i)

data LCFS

Strategy: Last Come - First Served (LCFS)

Constructors

LCFS

Instances

Eq LCFS

Methods

(==) :: LCFS -> LCFS -> Bool

(/=) :: LCFS -> LCFS -> Bool

Ord LCFS

Methods

compare :: LCFS -> LCFS -> Ordering

(<) :: LCFS -> LCFS -> Bool

(<=) :: LCFS -> LCFS -> Bool

(>) :: LCFS -> LCFS -> Bool

(>=) :: LCFS -> LCFS -> Bool

max :: LCFS -> LCFS -> LCFS

min :: LCFS -> LCFS -> LCFS

Show LCFS

Methods

showsPrec :: Int -> LCFS -> ShowS

show :: LCFS -> String

showList :: [LCFS] -> ShowS

DeletingQueueStrategy LCFS

An implementation of the LCFS queue strategy.

Methods

strategyQueueDelete :: Eq i => StrategyQueue LCFS i -> i -> Event Bool

strategyQueueDeleteBy :: StrategyQueue LCFS i -> (i -> Bool) -> Event (Maybe i)

strategyQueueContains :: Eq i => StrategyQueue LCFS i -> i -> Event Bool

strategyQueueContainsBy :: StrategyQueue LCFS i -> (i -> Bool) -> Event (Maybe i)

EnqueueStrategy LCFS

An implementation of the LCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue LCFS i -> i -> Event ()

DequeueStrategy LCFS

An implementation of the LCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue LCFS i -> Event i

QueueStrategy LCFS

An implementation of the LCFS queue strategy.

Associated Types

data StrategyQueue LCFS a :: *

Methods

newStrategyQueue :: LCFS -> Simulation (StrategyQueue LCFS i)

strategyQueueNull :: StrategyQueue LCFS i -> Event Bool

ResultItemable (ResultValue LCFS)

Methods

resultItemName :: ResultValue LCFS -> ResultName

resultItemNamePath :: ResultValue LCFS -> [ResultName]

resultItemId :: ResultValue LCFS -> ResultId

resultItemIdPath :: ResultValue LCFS -> [ResultId]

resultItemSignal :: ResultValue LCFS -> ResultSignal

resultItemExpansion :: ResultValue LCFS -> ResultSource

resultItemSummary :: ResultValue LCFS -> ResultSource

resultItemAsIntValue :: ResultValue LCFS -> Maybe (ResultValue Int)

resultItemAsIntListValue :: ResultValue LCFS -> Maybe (ResultValue [Int])

resultItemAsIntStatsValue :: ResultValue LCFS -> Maybe (ResultValue (SamplingStats Int))

resultItemAsIntTimingStatsValue :: ResultValue LCFS -> Maybe (ResultValue (TimingStats Int))

resultItemAsDoubleValue :: ResultValue LCFS -> Maybe (ResultValue Double)

resultItemAsDoubleListValue :: ResultValue LCFS -> Maybe (ResultValue [Double])

resultItemAsDoubleStatsValue :: ResultValue LCFS -> Maybe (ResultValue (SamplingStats Double))

resultItemAsDoubleTimingStatsValue :: ResultValue LCFS -> Maybe (ResultValue (TimingStats Double))

resultItemAsStringValue :: ResultValue LCFS -> Maybe (ResultValue String)

data StrategyQueue LCFS

data StrategyQueue LCFS = LCFSQueue (DoubleLinkedList i)

data SIRO

Strategy: Service in Random Order (SIRO).

Constructors

SIRO

Instances

Eq SIRO

Methods

(==) :: SIRO -> SIRO -> Bool

(/=) :: SIRO -> SIRO -> Bool

Ord SIRO

Methods

compare :: SIRO -> SIRO -> Ordering

(<) :: SIRO -> SIRO -> Bool

(<=) :: SIRO -> SIRO -> Bool

(>) :: SIRO -> SIRO -> Bool

(>=) :: SIRO -> SIRO -> Bool

max :: SIRO -> SIRO -> SIRO

min :: SIRO -> SIRO -> SIRO

Show SIRO

Methods

showsPrec :: Int -> SIRO -> ShowS

show :: SIRO -> String

showList :: [SIRO] -> ShowS

DeletingQueueStrategy SIRO

An implementation of the SIRO queue strategy.

Methods

strategyQueueDelete :: Eq i => StrategyQueue SIRO i -> i -> Event Bool

strategyQueueDeleteBy :: StrategyQueue SIRO i -> (i -> Bool) -> Event (Maybe i)

strategyQueueContains :: Eq i => StrategyQueue SIRO i -> i -> Event Bool

strategyQueueContainsBy :: StrategyQueue SIRO i -> (i -> Bool) -> Event (Maybe i)

EnqueueStrategy SIRO

An implementation of the SIRO queue strategy.

Methods

strategyEnqueue :: StrategyQueue SIRO i -> i -> Event ()

DequeueStrategy SIRO

An implementation of the SIRO queue strategy.

Methods

strategyDequeue :: StrategyQueue SIRO i -> Event i

QueueStrategy SIRO

An implementation of the SIRO queue strategy.

Associated Types

data StrategyQueue SIRO a :: *

Methods

newStrategyQueue :: SIRO -> Simulation (StrategyQueue SIRO i)

strategyQueueNull :: StrategyQueue SIRO i -> Event Bool

ResultItemable (ResultValue SIRO)

Methods

resultItemName :: ResultValue SIRO -> ResultName

resultItemNamePath :: ResultValue SIRO -> [ResultName]

resultItemId :: ResultValue SIRO -> ResultId

resultItemIdPath :: ResultValue SIRO -> [ResultId]

resultItemSignal :: ResultValue SIRO -> ResultSignal

resultItemExpansion :: ResultValue SIRO -> ResultSource

resultItemSummary :: ResultValue SIRO -> ResultSource

resultItemAsIntValue :: ResultValue SIRO -> Maybe (ResultValue Int)

resultItemAsIntListValue :: ResultValue SIRO -> Maybe (ResultValue [Int])

resultItemAsIntStatsValue :: ResultValue SIRO -> Maybe (ResultValue (SamplingStats Int))

resultItemAsIntTimingStatsValue :: ResultValue SIRO -> Maybe (ResultValue (TimingStats Int))

resultItemAsDoubleValue :: ResultValue SIRO -> Maybe (ResultValue Double)

resultItemAsDoubleListValue :: ResultValue SIRO -> Maybe (ResultValue [Double])

resultItemAsDoubleStatsValue :: ResultValue SIRO -> Maybe (ResultValue (SamplingStats Double))

resultItemAsDoubleTimingStatsValue :: ResultValue SIRO -> Maybe (ResultValue (TimingStats Double))

resultItemAsStringValue :: ResultValue SIRO -> Maybe (ResultValue String)

data StrategyQueue SIRO

data StrategyQueue SIRO = SIROQueue (Vector i)

data StaticPriorities

Strategy: Static Priorities. It uses the priority queue.

Constructors

StaticPriorities

Instances

Eq StaticPriorities

Methods

(==) :: StaticPriorities -> StaticPriorities -> Bool

(/=) :: StaticPriorities -> StaticPriorities -> Bool

Ord StaticPriorities

Methods

compare :: StaticPriorities -> StaticPriorities -> Ordering

(<) :: StaticPriorities -> StaticPriorities -> Bool

(<=) :: StaticPriorities -> StaticPriorities -> Bool

(>) :: StaticPriorities -> StaticPriorities -> Bool

(>=) :: StaticPriorities -> StaticPriorities -> Bool

max :: StaticPriorities -> StaticPriorities -> StaticPriorities

min :: StaticPriorities -> StaticPriorities -> StaticPriorities

Show StaticPriorities

Methods

showsPrec :: Int -> StaticPriorities -> ShowS

show :: StaticPriorities -> String

showList :: [StaticPriorities] -> ShowS

DeletingQueueStrategy StaticPriorities

An implementation of the StaticPriorities queue strategy.

Methods

strategyQueueDelete :: Eq i => StrategyQueue StaticPriorities i -> i -> Event Bool

strategyQueueDeleteBy :: StrategyQueue StaticPriorities i -> (i -> Bool) -> Event (Maybe i)

strategyQueueContains :: Eq i => StrategyQueue StaticPriorities i -> i -> Event Bool

strategyQueueContainsBy :: StrategyQueue StaticPriorities i -> (i -> Bool) -> Event (Maybe i)

DequeueStrategy StaticPriorities

An implementation of the StaticPriorities queue strategy.

Methods

strategyDequeue :: StrategyQueue StaticPriorities i -> Event i

QueueStrategy StaticPriorities

An implementation of the StaticPriorities queue strategy.

Associated Types

data StrategyQueue StaticPriorities a :: *

Methods

newStrategyQueue :: StaticPriorities -> Simulation (StrategyQueue StaticPriorities i)

strategyQueueNull :: StrategyQueue StaticPriorities i -> Event Bool

PriorityQueueStrategy StaticPriorities Double

An implementation of the StaticPriorities queue strategy.

Methods

strategyEnqueueWithPriority :: StrategyQueue StaticPriorities i -> Double -> i -> Event ()

ResultItemable (ResultValue StaticPriorities)

Methods

resultItemName :: ResultValue StaticPriorities -> ResultName

resultItemNamePath :: ResultValue StaticPriorities -> [ResultName]

resultItemId :: ResultValue StaticPriorities -> ResultId

resultItemIdPath :: ResultValue StaticPriorities -> [ResultId]

resultItemSignal :: ResultValue StaticPriorities -> ResultSignal

resultItemExpansion :: ResultValue StaticPriorities -> ResultSource

resultItemSummary :: ResultValue StaticPriorities -> ResultSource

resultItemAsIntValue :: ResultValue StaticPriorities -> Maybe (ResultValue Int)

resultItemAsIntListValue :: ResultValue StaticPriorities -> Maybe (ResultValue [Int])

resultItemAsIntStatsValue :: ResultValue StaticPriorities -> Maybe (ResultValue (SamplingStats Int))

resultItemAsIntTimingStatsValue :: ResultValue StaticPriorities -> Maybe (ResultValue (TimingStats Int))

resultItemAsDoubleValue :: ResultValue StaticPriorities -> Maybe (ResultValue Double)

resultItemAsDoubleListValue :: ResultValue StaticPriorities -> Maybe (ResultValue [Double])

resultItemAsDoubleStatsValue :: ResultValue StaticPriorities -> Maybe (ResultValue (SamplingStats Double))

resultItemAsDoubleTimingStatsValue :: ResultValue StaticPriorities -> Maybe (ResultValue (TimingStats Double))

resultItemAsStringValue :: ResultValue StaticPriorities -> Maybe (ResultValue String)

data StrategyQueue StaticPriorities

data StrategyQueue StaticPriorities = StaticPriorityQueue (PriorityQueue i)