Mercurial > urweb
comparison lib/ur/datetime.urs @ 1974:a10368c65e7f
Add day-of-week/month <-> int conversion functions.
author | Patrick Hurst <phurst@mit.edu> |
---|---|
date | Sat, 07 Dec 2013 21:31:51 -0500 |
parents | 155bd0bc4d28 |
children | 0ee44375fe64 |
comparison
equal
deleted
inserted
replaced
1973:155bd0bc4d28 | 1974:a10368c65e7f |
---|---|
1 type datetime = { Year : int, | |
2 Month : int, | |
3 Day : int, | |
4 Hour : int, | |
5 Minute : int, | |
6 Second : int | |
7 } | |
8 | |
9 datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday | | 1 datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday | |
10 Friday | Saturday | 2 Friday | Saturday |
11 | 3 |
12 val show : show day_of_week | 4 datatype month = January | February | March | April | May | June | July | |
5 August | September | October | November | December | |
6 | |
7 | |
8 type datetime = { | |
9 Year : int, | |
10 Month : month, | |
11 Day : int, | |
12 Hour : int, | |
13 Minute : int, | |
14 Second : int | |
15 } | |
16 | |
17 val show_day_of_week : show day_of_week | |
18 val show_month : show month | |
19 val eq_day_of_week : eq day_of_week | |
20 val eq_month : eq month | |
21 val dayOfWeekToInt : day_of_week -> int | |
22 val intToDayOfWeek : int -> day_of_week | |
23 val monthToInt : month -> int | |
24 val intToMonth : int -> month | |
13 | 25 |
14 val toTime : datetime -> time | 26 val toTime : datetime -> time |
15 val fromTime : time -> datetime | 27 val fromTime : time -> datetime |
16 val datetimef : string -> datetime -> string | 28 val format : string -> datetime -> string |
29 val dayOfWeek : datetime -> day_of_week | |
17 val now : transaction datetime | 30 val now : transaction datetime |