Simulation.Aivika.Trans.GPSS.Block

Tested with: GHC 8.0.2

This module defines a GPSS block.

Documentation

newtype Block m a b

Represents a GPSS block.

Constructors

Block

Fields

• blockProcess :: a -> Process m b

  Process the item.

Instances

MonadDES m => Category (Block m :: Type -> Type -> Type)

Defined in Simulation.Aivika.Trans.GPSS.Block

Methods

id :: forall (a :: k). Block m a a

(.) :: forall (b :: k) (c :: k) (a :: k). Block m b c -> Block m a b -> Block m a c

newtype GeneratorBlock m a

Represents a GPSS generator block.

Constructors

GeneratorBlock

Fields

• runGeneratorBlock :: Block m a () -> Process m ()

  Run the generator block.

withinBlock

Arguments

:: MonadDES m

=> Process m ()

the action to be executed for each transact

-> Block m a a

Perform some action within the block, for example, opening or inverting the Gate to emulate the LOGIC block.

processBlock

Arguments

:: MonadDES m

=> (a -> Process m b)

process the transact

-> Block m a b

Process every transact within the block.

traceBlock :: MonadDES m => String -> Block m a b -> Block m a b

Trace the specified block.