Mercurial > urweb

comparison lib/ur/datetime.urs @ 1975:0ee44375fe64

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename datetime type to t in the .urs file.
author Patrick Hurst <phurst@mit.edu>
date Sun, 08 Dec 2013 03:25:31 -0500
parents a10368c65e7f
children 50322ba22972
comparison
equal deleted inserted replaced
1974:a10368c65e7f 1975:0ee44375fe64
3 3
4 datatype month = January | February | March | April | May | June | July | 4 datatype month = January | February | March | April | May | June | July |
5 August | September | October | November | December 5 August | September | October | November | December
6 6
7 7
8 type datetime = { 8 type t = {
9 Year : int, 9 Year : int,
10 Month : month, 10 Month : month,
11 Day : int, 11 Day : int,
12 Hour : int, 12 Hour : int,
13 Minute : int, 13 Minute : int,
21 val dayOfWeekToInt : day_of_week -> int 21 val dayOfWeekToInt : day_of_week -> int
22 val intToDayOfWeek : int -> day_of_week 22 val intToDayOfWeek : int -> day_of_week
23 val monthToInt : month -> int 23 val monthToInt : month -> int
24 val intToMonth : int -> month 24 val intToMonth : int -> month
25 25
26 val toTime : datetime -> time 26 val toTime : t -> time
27 val fromTime : time -> datetime 27 val fromTime : time -> t
28 val format : string -> datetime -> string 28 val format : string -> t -> string
29 val dayOfWeek : datetime -> day_of_week 29 val dayOfWeek : t -> day_of_week
30 val now : transaction datetime 30 val now : transaction t