diff options
author | Camil Staps | 2015-07-01 17:36:37 +0200 |
---|---|---|
committer | Camil Staps | 2015-07-01 17:36:37 +0200 |
commit | 7553b7f9d4dddc2235c137d41de8ce22547bebe3 (patch) | |
tree | 34f8fb4b36640317d728a60586424f67f9befbe7 /processevent.dcl | |
parent | gitignore (diff) |
Initial commit
Diffstat (limited to 'processevent.dcl')
-rw-r--r-- | processevent.dcl | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/processevent.dcl b/processevent.dcl new file mode 100644 index 0000000..03526b1 --- /dev/null +++ b/processevent.dcl @@ -0,0 +1,14 @@ +definition module processevent
+
+
+// Clean Object I/O library, version 1.2
+
+// processevent defines the DeviceEventFunction for the process device.
+// This function is placed in a separate module because it is platform dependent.
+
+
+import deviceevents
+from iostate import :: PSt
+
+
+processEvent :: !SchedulerEvent !(PSt .l) -> (!Bool,!Maybe DeviceEvent,!SchedulerEvent,!PSt .l)
|