Mercurial > urweb

comparison lib/ur/datetime.urs @ 1977:50322ba22972

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add datetime functions for adding time intervals.
author Patrick Hurst <phurst@mit.edu>
date Mon, 09 Dec 2013 19:19:12 -0500
parents 0ee44375fe64
children
comparison
equal deleted inserted replaced
1976:98bb0e952a11 1977:50322ba22972
12 Hour : int, 12 Hour : int,
13 Minute : int, 13 Minute : int,
14 Second : int 14 Second : int
15 } 15 }
16 16
17 val ord_datetime : ord t
18
17 val show_day_of_week : show day_of_week 19 val show_day_of_week : show day_of_week
18 val show_month : show month 20 val show_month : show month
19 val eq_day_of_week : eq day_of_week 21 val eq_day_of_week : eq day_of_week
20 val eq_month : eq month 22 val eq_month : eq month
21 val dayOfWeekToInt : day_of_week -> int 23 val dayOfWeekToInt : day_of_week -> int
26 val toTime : t -> time 28 val toTime : t -> time
27 val fromTime : time -> t 29 val fromTime : time -> t
28 val format : string -> t -> string 30 val format : string -> t -> string
29 val dayOfWeek : t -> day_of_week 31 val dayOfWeek : t -> day_of_week
30 val now : transaction t 32 val now : transaction t
33 val normalize : t -> t
34
35 val addSeconds : int -> t -> t
36 val addMinutes : int -> t -> t
37 val addHours : int -> t -> t
38 val addDays : int -> t -> t