Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature DATE = |
2 | sig | |
3 | datatype weekday = | |
4 | Mon | Tue | Wed | Thu | Fri | Sat | Sun | |
5 | ||
6 | datatype month = | |
7 | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | |
8 | ||
9 | type date | |
10 | ||
11 | exception Date | |
12 | ||
13 | val date: {year: int, | |
14 | month: month, | |
15 | day: int, | |
16 | hour: int, | |
17 | minute: int, | |
18 | second: int, | |
19 | offset: Time.time option} -> date | |
20 | ||
21 | val year: date -> int | |
22 | val month: date -> month | |
23 | val day: date -> int | |
24 | val hour: date -> int | |
25 | val minute: date -> int | |
26 | val second: date -> int | |
27 | val weekDay: date -> weekday | |
28 | val yearDay: date -> int | |
29 | val offset: date -> Time.time option | |
30 | val isDst: date -> bool option | |
31 | val localOffset: unit -> Time.time | |
32 | val fromTimeLocal: Time.time -> date | |
33 | val fromTimeUniv: Time.time -> date | |
34 | val toTime: date -> Time.time | |
35 | val toString: date -> string | |
36 | val fmt: string -> date -> string | |
37 | val fromString: string -> date option | |
38 | val scan: (char, 'a) StringCvt.reader -> (date, 'a) StringCvt.reader | |
39 | val compare: date * date -> order | |
40 | end |