Mercurial > urweb

comparison lib/ur/datetime.urs @ 1974:a10368c65e7f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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