Simulation.Aivika.Trans.GPSS.Transact

Tested with: GHC 8.0.2

This module defines a GPSS transact.

Documentation

data Transact m a

Represents a GPSS transact.

Instances

MonadDES m => Eq (Transact m a)

Methods

(==) :: Transact m a -> Transact m a -> Bool

(/=) :: Transact m a -> Transact m a -> Bool

transactValue :: Transact m a -> a

The data of the transact.

transactArrivalDelay :: Transact m a -> Maybe Double

The delay between the transacts generated.

transactArrivalTime :: Transact m a -> Double

The time at which the transact was generated.

transactPriority :: Transact m a -> Int

The transact priority.

transactAssemblySet :: MonadDES m => Transact m a -> Event m (AssemblySet m)

Return the transact assembly set.

newTransact

Arguments

:: MonadDES m

=> Arrival a

the arrival data

-> Int

the transact priority

-> Simulation m (Transact m a)

Create a new transact.

splitTransact :: MonadDES m => Transact m a -> Simulation m (Transact m a)

Split the transact.

assignTransactValue :: Transact m a -> (a -> b) -> Transact m b

Assign the transact value and return a new version of the same transact.

assignTransactValueM :: Monad c => Transact m a -> (a -> c b) -> c (Transact m b)

Assign the transact value and return a new version of the same transact.

assignTransactPriority :: Transact m a -> Int -> Transact m a

Assign the priority and return a new version of the same transact.

takeTransact :: MonadDES m => Transact m a -> Process m ()

Take the transact.

releaseTransact :: MonadDES m => Transact m a -> Process m ()

Release the transact.

transactPreemptionBegin :: MonadDES m => Transact m a -> Event m ()

Preempt the computation that handles the transact.

transactPreemptionEnd :: MonadDES m => Transact m a -> Event m ()

Proceed with the computation after the transact was preempted earlier.

requireTransactProcessId :: MonadDES m => Transact m a -> Event m (ProcessId m)

Require to return an identifier of the process associated with the transact.

transferTransact :: MonadDES m => Transact m a -> Process m () -> Event m ()

Like the GoTo statement, it associates the transact with another process.

reactivateTransacts :: MonadDES m => [(Transact m a, Maybe (Process m ()))] -> Event m ()

Reactivate the transacts or transfer them to the specified computations.

registerTransactQueueEntry :: MonadDES m => Transact m a -> QueueEntry m -> Event m ()

Register the queue entry in the transact.

unregisterTransactQueueEntry :: MonadDES m => Transact m a -> Queue m -> Event m (QueueEntry m)

Unregister the queue entry from the transact.