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

Simulation.Aivika.Trans.GPSS.Block.Test

Description

Tested with: GHC 8.0.2

This module defines the GPSS block TEST.

Synopsis

Documentation

awaitingTestBlock Source #

Arguments

:: MonadDES m 
=> (a -> Signalable m Bool)

by the specified transact return a test condition and signal that notifies about changing the condition

-> Block m a a 

This is the GPSS construct

TEST O A,B

awaitingTestBlockM Source #

Arguments

:: MonadDES m 
=> (a -> Process m (Signalable m Bool))

by the specified transact return a test condition and signal that notifies about changing the condition

-> Block m a a 

This is the GPSS construct

TEST O A,B

transferringTestBlock Source #

Arguments

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

the predicate

-> Block m a ()

the block to transfer in when the condition fails

-> Block m a a 

This is the GPSS construct

TEST O A,B,C

transferringTestBlockM Source #

Arguments

:: MonadDES m 
=> (a -> Process m Bool)

the predicate

-> Block m a ()

the block to transfer in when the condition fails

-> Block m a a 

This is the GPSS construct

TEST O A,B,C