blob: 69915fd65594d6242dd05d2a12c0d3a505347c28 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
module CleanCocl
import StdEnv
import deltaEventIO, deltaIOState
import CoclSystemDependent
Don`tCareId
:== 0
Start :: !*World -> *World
Start world
# (_, world)
= StartIO [menus : SystemDependentDevices] 0 SystemDependentInitialIO world
with
menus
= MenuSystem [file]
file
= PullDownMenu Don`tCareId "File" Able
[MenuItem Don`tCareId "Quit" (Key 'Q') Able Quit]
= world
Quit :: *s (IOState *s) -> (*s, IOState *s)
Quit s io
= (s, QuitIO io)
|
