aivika-gpss-0.6.2: GPSS-like DSL for Aivika
CopyrightCopyright (c) 2017 David Sorokin <david.sorokin@gmail.com>
LicenseBSD3
MaintainerDavid Sorokin <david.sorokin@gmail.com>
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Simulation.Aivika.GPSS.TransactQueueStrategy

Description

Tested with: GHC 8.0.2

This module defines a GPSS transact queue strategy.

Synopsis

Documentation

data TransactQueueStrategy s Source #

The transact queue strategy.

Constructors

TransactQueueStrategy s 

Instances

Instances details
QueueStrategy (TransactQueueStrategy s) Source #

An implementation of the QueueStrategy class.

Instance details

Defined in Simulation.Aivika.GPSS.TransactQueueStrategy

Associated Types

data StrategyQueue (TransactQueueStrategy s) :: Type -> Type #

DequeueStrategy (TransactQueueStrategy FCFS) Source # 
Instance details

Defined in Simulation.Aivika.GPSS.TransactQueueStrategy

DequeueStrategy (TransactQueueStrategy LCFS) Source # 
Instance details

Defined in Simulation.Aivika.GPSS.TransactQueueStrategy

DeletingQueueStrategy (TransactQueueStrategy FCFS) Source # 
Instance details

Defined in Simulation.Aivika.GPSS.TransactQueueStrategy

DequeueStrategy (TransactQueueStrategy s) => PriorityQueueStrategy (TransactQueueStrategy s) Int Source # 
Instance details

Defined in Simulation.Aivika.GPSS.TransactQueueStrategy

data StrategyQueue (TransactQueueStrategy s) a Source # 
Instance details

Defined in Simulation.Aivika.GPSS.TransactQueueStrategy

transactStrategyQueueDeleteBy Source #

Arguments

:: StrategyQueue (TransactQueueStrategy s) a

the queue

-> Int

the transact priority

-> (a -> Bool)

the predicate

-> Event (Maybe a) 

Try to delete the transact by the specified priority and satisfying to the provided predicate.

transactStrategyQueueContainsBy Source #

Arguments

:: StrategyQueue (TransactQueueStrategy s) a

the queue

-> Int

the transact priority

-> (a -> Bool)

the predicate

-> Event (Maybe a) 

Test whether the queue contains a transact with the specified priority satisfying the provided predicate.