1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
module tut9_1_2
// ********************************************************************************
// Clean tutorial example program.
//
// This program creates a window that displays growing concentric circles.
// For this purpose it uses a timer.
// ********************************************************************************
import StdEnv, StdIO
:: DialogIds = { secondsId :: Id, minutesId :: Id, hoursId :: Id }
second :== ticksPerSecond
minute :== 60 * second
hour :== 60 * minute
openDialogIds :: *env -> (DialogIds, *env) | Ids env
openDialogIds env
# ([secondsid,minutesid,hoursid:_],env) = openIds 3 env
= ({secondsId=secondsid, minutesId=minutesid, hoursId=hoursid}, env)
Start :: *World -> *World
Start world
# (dialogIds, world) = openDialogIds world
= startIO NDI Void (initialise dialogIds) [] world
initialise :: DialogIds (PSt .l) -> (PSt .l)
initialise {secondsId, minutesId, hoursId} pst
# (errors, pst) = seqList [openTimer 0 (tdef timerinfo) \\ timerinfo <- [second,minute,hour]] pst
| any ((<>) NoError) errors
= closeProcess pst
# (error, pst) = openDialog Void ddef pst
| error <> NoError
= closeProcess pst
| otherwise = pst
where
tdef dt = Timer dt NilLS [TimerFunction tick]
where
tick nrElapsed (time,pst)
# time = (time + nrElapsed) rem maxunit
= (time, appPIO (setControlText id (toString time)) pst)
(id, maxunit) = if (dt == second) (secondsId, 60)
(if (dt == minute) (minutesId, 60)
(hoursId, 24))
ddef = Dialog "Clock" (LayoutControl (ListLS [TextControl text [ControlPos (Left,zero)] \\ text <- ["Hours:","Minutes:","Seconds:"]]) [] :+:
LayoutControl (ListLS [TextControl "0" [ControlPos (Left,zero),
ControlId id,
ControlWidth (ContentWidth "00")] \\ id <- [hoursId,minutesId,secondsId]]) [])
[WindowClose (noLS closeProcess)]
|
