Undocumented

DIVERGED :: StopReason
INTERRUPTED :: StopReason
Monad_Sequence_super0 :: Functor Sequence
SIMULATION_DID_NOT_START :: StopReason
STOPPED :: StopReason
Sequence :: ((a -> <Action,Proc> ()) -> <Action,Proc> ()) -> Sequence a
execute :: <Action,Proc> a -> Sequence a

The sequence execute action is an instantious sequence that executes the operation action in the simulator.

executeWhenStopped :: (StopReason -> <Action,Proc> a) -> Sequence ()
fork :: Sequence a -> Sequence ()

The sequence fork seq is an instantious sequence that creates a new sequence thread behaving like the sequence seq.

getVar :: Serializable a => String -> <Action> a

Returns the current value of a variable

getVar_ :: String -> Binding a -> <Action> a
halt :: Sequence a

The sequence halt ends the current sequence thread and the sequence .

scheduleAt :: Double -> (() -> <Action,Proc> a) -> <Action> ()
scheduleNextStep :: (() -> <Action,Proc> a) -> <Action> ()
scheduleNow :: (() -> <Action,Proc> a) -> <Action> ()
scheduleWhenStopped :: (StopReason -> <Action,Proc> a) -> <Action> ()
setVar :: Serializable a => String -> a -> <Action> ()

Sets the value of a variable

setVar_ :: String -> a -> Binding a -> <Action> ()
stop :: Sequence a

The sequence stop stops all sequence threads, stopping the simulation completely.

stopActionContext :: ActionContext -> <Proc> ()
stop_ :: <Action> ()
time :: <Action> Double

Gives the current simulation time.

wait :: Double -> Sequence ()

The sequence wait duration waits that duration seconds elapses from the current simulation time.

waitCondition :: <Action,Proc> Boolean -> Sequence ()

The sequence waitCondition condition waits until the condition is satisfied.

waitStep :: Sequence ()

The sequence waitStep waits that the simulator takes one simulation step. It is a primitive mechanism that can be used to implement other events by inspecting the simulator state after each time step.

waitUntil :: Double -> Sequence ()

The sequence waitUntil time waits until the simulation time is at least the given time.