1 --!! function types in deriving Eq things
2 -- From a bug report by Dave Harrison <D.A.Harrison@newcastle.ac.uk>
4 module Simulation(Process,
12 type Process a = Pid -> Time -> Message a -> ( MessList a,
15 data Continuation a = Do (Process a) deriving Eq
18 type ProcList a = [ (Pid, Status, Process a) ]
19 data Status = Active | Passive | Busy Integer | Terminated
23 data Message a = Create (Process a) | Created Pid | Activate Pid |
24 Passivate Pid | Terminate Pid | Wait Pid Time |
25 Query Pid a | Data Pid a | Event |
29 type MessList a = [ Message a ]