aboutsummaryrefslogtreecommitdiff
path: root/timerevent.dcl
blob: 656e8a3490679b47a06008315d1156e1ca798a1e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
definition module timerevent


//	Clean Object I/O library, version 1.2

/*	timerevent defines the DeviceEventFunction for the timer device.
	This function is placed in a separate module because it is platform dependent.
*/


import	deviceevents
from	iostate import :: PSt


timerEvent :: !SchedulerEvent !(PSt .l) -> (!Bool,!Maybe DeviceEvent,!SchedulerEvent,!PSt .l)