blob: b335ef6b0b4041889bd56a831be06b6795eb12f6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
definition module receiverevent
// Clean Object I/O library, version 1.2
// receiverevent defines the DeviceEventFunction for the receiver device.
// This function is placed in a separate module because it is platform dependent.
import deviceevents
from iostate import :: PSt
receiverEvent :: !SchedulerEvent !(PSt .l) -> (!Bool,!Maybe DeviceEvent,!SchedulerEvent,!PSt .l)
|