hasim-0.1: Process-Based Discrete Event Simulation library Source code Contents Index

Control.Hasim.Simulation Portability unportable Stability experimental Maintainer jochem@functor.nl

Contents Data types Process creation Simulation creation

Description

This module defines the Simulation monad, with functions to create processes and set actions.

Synopsis

data Simulation type SimMonad a = StateT SimState IO a unSim :: Simulation -> [Process] mkAnonProcess :: SimMonad (Proc pkt ()) mkProcess :: String -> st -> SimMonad (Proc pkt st) setAction :: Proc pkt st -> Action pkt st () -> SimMonad () createSimulation :: SimMonad () -> IO Simulation

Data types

data Simulation Source

Data type representing a simulation.

type SimMonad a = StateT SimState IO a Source

The simulation monad called SimMonad. In this monad you can define a simulation to be run.

unSim :: Simulation -> [Process] Source

Process creation

mkAnonProcess :: SimMonad (Proc pkt ()) Source

Make an anonymous process.

mkProcess Source

:: => String The name of the new process. -> st The initial state of the process. -> SimMonad (Proc pkt st) Make a process with a name. This name will be used in logging and error messages

setAction Source

:: => Proc pkt st The process of which the action should be set -> Action pkt st () The action to be set -> SimMonad () Set the action of the process.

Simulation creation

createSimulation :: SimMonad () -> IO Simulation Source

Create a simulation from a SimMonad (a simulation definition). If the simulation is invalid, error will be called.

Produced by Haddock version 2.3.0