blob: fc608d683cc2b1c5f3d4275351d4b6d2c655fe30 (
plain)
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
abstract Time = {
cat
-- Times
Time ;
Hour ;
Minute ;
fun
-- Time
hour0 : Hour ;
hour1 : Hour ;
hour2 : Hour ;
hour3 : Hour ;
hour4 : Hour ;
hour5 : Hour ;
hour6 : Hour ;
hour7 : Hour ;
hour8 : Hour ;
hour9 : Hour ;
hour10 : Hour ;
hour11 : Hour ;
hour12 : Hour ;
hour13 : Hour ;
hour14 : Hour ;
hour15 : Hour ;
hour16 : Hour ;
hour17 : Hour ;
hour18 : Hour ;
hour19 : Hour ;
hour20 : Hour ;
hour21 : Hour ;
hour22 : Hour ;
hour23 : Hour ;
-- Minutes
minute0 : Minute ;
minute1 : Minute ;
minute2 : Minute ;
minute3 : Minute ;
minute4 : Minute ;
minute5 : Minute ;
minute6 : Minute ;
minute7 : Minute ;
minute8 : Minute ;
minute9 : Minute ;
minute10 : Minute ;
minute11 : Minute ;
minute12 : Minute ;
minute13 : Minute ;
minute14 : Minute ;
minute15 : Minute ;
minute16 : Minute ;
minute17 : Minute ;
minute18 : Minute ;
minute19 : Minute ;
minute20 : Minute ;
minute21 : Minute ;
minute22 : Minute ;
minute23 : Minute ;
minute24 : Minute ;
minute25 : Minute ;
minute26 : Minute ;
minute27 : Minute ;
minute28 : Minute ;
minute29 : Minute ;
minute30 : Minute ;
minute31 : Minute ;
minute32 : Minute ;
minute33 : Minute ;
minute34 : Minute ;
minute35 : Minute ;
minute36 : Minute ;
minute37 : Minute ;
minute38 : Minute ;
minute39 : Minute ;
minute40 : Minute ;
minute41 : Minute ;
minute42 : Minute ;
minute43 : Minute ;
minute44 : Minute ;
minute45 : Minute ;
minute46 : Minute ;
minute47 : Minute ;
minute48 : Minute ;
minute49 : Minute ;
minute50 : Minute ;
minute51 : Minute ;
minute52 : Minute ;
minute53 : Minute ;
minute54 : Minute ;
minute55 : Minute ;
minute56 : Minute ;
minute57 : Minute ;
minute58 : Minute ;
minute59 : Minute ;
-- Time expressions
--timeFormal : Hour -> Minute -> Time ;
--timeInformal : Hour -> Minute -> Time ;
time : Hour -> Minute -> Time ;
}
|
