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