Simulation.Aivika.GPSS.Transact

Tested with: GHC 8.0.2

This module defines a GPSS transact.

Documentation

data Transact a

Represents a GPSS transact.

Instances

Functor Transact

Defined in Simulation.Aivika.GPSS.Transact

Methods

fmap :: (a -> b) -> Transact a -> Transact b

(<$) :: a -> Transact b -> Transact a

Eq (Transact a)

Defined in Simulation.Aivika.GPSS.Transact

Methods

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

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

transactValue :: Transact a -> a

The data of the transact.

transactArrivalDelay :: Transact a -> Maybe Double

The delay between the transacts generated.

transactArrivalTime :: Transact a -> Double

The time at which the transact was generated.

transactPriority :: Transact a -> Int

The transact priority.

transactAssemblySet :: Transact a -> Event AssemblySet

Return the transact assembly set.

newTransact

Arguments

:: Arrival a

the arrival data

-> Int

the transact priority

-> Simulation (Transact a)

Create a new transact.

splitTransact :: Transact a -> Simulation (Transact a)

Split the transact.

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

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

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

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

assignTransactPriority :: Transact a -> Int -> Process (Transact a)

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

takeTransact :: Transact a -> Process ()

Take the transact.

releaseTransact :: Transact a -> Process ()

Release the transact.

transactPreemptionBegin :: Transact a -> Event ()

Preempt the computation that handles the transact.

transactPreemptionEnd :: Transact a -> Event ()

Proceed with the computation after the transact was preempted earlier.

requireTransactProcessId :: Transact a -> Event ProcessId

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

transferTransact :: Transact a -> Process () -> Event ()

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

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

Reactivate the transacts or transfer them to the specified computations.

registerTransactQueueEntry :: Transact a -> QueueEntry -> Event ()

Register the queue entry in the transact.

unregisterTransactQueueEntry :: Transact a -> Queue -> Event QueueEntry

Unregister the queue entry from the transact.