| Copyright | Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com> |
|---|---|
| License | BSD3 |
| Maintainer | David Sorokin <david.sorokin@gmail.com> |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Simulation.Aivika.QueueStrategy
Description
Tested with: GHC 7.10.1
This module defines the queue strategies.
- class QueueStrategy s where
- data StrategyQueue s :: * -> *
- newStrategyQueue :: s -> Simulation (StrategyQueue s i)
- strategyQueueNull :: StrategyQueue s i -> Event Bool
- class QueueStrategy s => DequeueStrategy s where
- strategyDequeue :: StrategyQueue s i -> Event i
- class DequeueStrategy s => EnqueueStrategy s where
- strategyEnqueue :: StrategyQueue s i -> i -> Event ()
- class DequeueStrategy s => PriorityQueueStrategy s p | s -> p where
- strategyEnqueueWithPriority :: StrategyQueue s i -> p -> i -> Event ()
- class DequeueStrategy s => DeletingQueueStrategy s where
- strategyQueueDelete :: Eq i => StrategyQueue s i -> i -> Event Bool
- strategyQueueDeleteBy :: StrategyQueue s i -> (i -> Bool) -> Event (Maybe i)
- strategyQueueContains :: Eq i => StrategyQueue s i -> i -> Event Bool
- strategyQueueContainsBy :: StrategyQueue s i -> (i -> Bool) -> Event (Maybe i)
- data FCFS = FCFS
- data LCFS = LCFS
- data SIRO = SIRO
- data StaticPriorities = StaticPriorities
Documentation
class QueueStrategy s where Source
Defines the basic queue strategy.
Methods
Arguments
| :: s | the strategy |
| -> Simulation (StrategyQueue s i) | a new queue |
Create a new queue by the specified strategy.
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 |
| QueueStrategy SIRO | An implementation of the |
| QueueStrategy LCFS | An implementation of the |
| QueueStrategy FCFS | An implementation of the |
class QueueStrategy s => DequeueStrategy s where Source
Defines a strategy with support of the dequeuing operation.
Methods
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 |
| DequeueStrategy SIRO | An implementation of the |
| DequeueStrategy LCFS | An implementation of the |
| DequeueStrategy FCFS | An implementation of the |
class DequeueStrategy s => EnqueueStrategy s where Source
It defines a strategy when we can enqueue a single element.
Methods
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 |
| EnqueueStrategy LCFS | An implementation of the |
| EnqueueStrategy FCFS | An implementation of the |
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 |
class DequeueStrategy s => DeletingQueueStrategy s where Source
Defines a strategy with support of the deleting operation.
Minimal complete definition
Methods
Arguments
| :: Eq i | |
| => StrategyQueue s i | the queue |
| -> i | the element |
| -> Event Bool | whether the element was found and removed |
Remove the element and return a flag indicating whether the element was found and removed.
Arguments
| :: StrategyQueue s i | the queue |
| -> (i -> Bool) | the predicate |
| -> Event (Maybe i) | the element if it was found and removed |
Remove an element satisfying the predicate and return the element if found.
Arguments
| :: Eq i | |
| => StrategyQueue s i | the queue |
| -> i | the element to find |
| -> Event Bool | whether the element is contained in the queue |
Detect whether the specified element is contained in the queue.
strategyQueueContainsBy Source
Arguments
| :: StrategyQueue s i | the queue |
| -> (i -> Bool) | the predicate |
| -> Event (Maybe i) | the element if it was found |
Detect whether an element satifying the specified predicate is contained in the queue.
Instances
| DeletingQueueStrategy StaticPriorities | An implementation of the |
| DeletingQueueStrategy SIRO | An implementation of the |
| DeletingQueueStrategy LCFS | An implementation of the |
| DeletingQueueStrategy FCFS | An implementation of the |
Strategy: First Come - First Served (FCFS).
Constructors
| FCFS |
Instances
| Eq FCFS | |
| Ord FCFS | |
| Show FCFS | |
| DeletingQueueStrategy FCFS | An implementation of the |
| EnqueueStrategy FCFS | An implementation of the |
| DequeueStrategy FCFS | An implementation of the |
| QueueStrategy FCFS | An implementation of the |
| ResultItemable (ResultValue FCFS) | |
| data StrategyQueue FCFS = FCFSQueue (DoubleLinkedList i) |
Strategy: Last Come - First Served (LCFS)
Constructors
| LCFS |
Instances
| Eq LCFS | |
| Ord LCFS | |
| Show LCFS | |
| DeletingQueueStrategy LCFS | An implementation of the |
| EnqueueStrategy LCFS | An implementation of the |
| DequeueStrategy LCFS | An implementation of the |
| QueueStrategy LCFS | An implementation of the |
| ResultItemable (ResultValue LCFS) | |
| data StrategyQueue LCFS = LCFSQueue (DoubleLinkedList i) |
Strategy: Service in Random Order (SIRO).
Constructors
| SIRO |
Instances
| Eq SIRO | |
| Ord SIRO | |
| Show SIRO | |
| DeletingQueueStrategy SIRO | An implementation of the |
| EnqueueStrategy SIRO | An implementation of the |
| DequeueStrategy SIRO | An implementation of the |
| QueueStrategy SIRO | An implementation of the |
| ResultItemable (ResultValue SIRO) | |
| data StrategyQueue SIRO = SIROQueue (Vector i) |
data StaticPriorities Source
Strategy: Static Priorities. It uses the priority queue.
Constructors
| StaticPriorities |
Instances
| Eq StaticPriorities | |
| Ord StaticPriorities | |
| Show StaticPriorities | |
| DeletingQueueStrategy StaticPriorities | An implementation of the |
| DequeueStrategy StaticPriorities | An implementation of the |
| QueueStrategy StaticPriorities | An implementation of the |
| PriorityQueueStrategy StaticPriorities Double | An implementation of the |
| ResultItemable (ResultValue StaticPriorities) | |
| data StrategyQueue StaticPriorities = StaticPriorityQueue (PriorityQueue i) |