aivika-gpss-0.4: GPSS-like DSL for Aivika

Simulation.Aivika.Trans.GPSS.Block.Test

Description

Tested with: GHC 8.0.2

This module defines the GPSS block TEST.

Synopsis

# Documentation

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

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

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

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