Mercurial > urweb
diff lib/ur/datetime.urs @ 1977:50322ba22972
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 |
line wrap: on
line diff
--- a/lib/ur/datetime.urs Sun Dec 08 13:14:58 2013 -0500 +++ b/lib/ur/datetime.urs Mon Dec 09 19:19:12 2013 -0500 @@ -14,6 +14,8 @@ Second : int } +val ord_datetime : ord t + val show_day_of_week : show day_of_week val show_month : show month val eq_day_of_week : eq day_of_week @@ -28,3 +30,9 @@ val format : string -> t -> string val dayOfWeek : t -> day_of_week val now : transaction t +val normalize : t -> t + +val addSeconds : int -> t -> t +val addMinutes : int -> t -> t +val addHours : int -> t -> t +val addDays : int -> t -> t