Simulation.Aivika.Gate

Tested with: GHC 7.10.1

The module defines a gate which can be either opened or closed.

Documentation

data Gate

Represents a gate, which can be either opened or closed.

newGate :: Bool -> Simulation Gate

Create a new gate, specifying whether the gate is initially open.

newGateOpened :: Simulation Gate

Create a new initially open gate.

newGateClosed :: Simulation Gate

Create a new initially close gate.

openGate :: Gate -> Event ()

Open the gate if it was closed.

closeGate :: Gate -> Event ()

Close the gate if it was open.

gateOpened :: Gate -> Event Bool

Test whether the gate is open.

gateClosed :: Gate -> Event Bool

Test whether the gate is closed.

awaitGateOpened :: Gate -> Process ()

Await the gate to be opened if required. If the gate is already open then the computation returns immediately.

awaitGateClosed :: Gate -> Process ()

Await the gate to be closed if required. If the gate is already closed then the computation returns immediately.

gateChanged_ :: Gate -> Signal ()

Signal triggered when the state of the gate changes.