Add datetime functions for adding time intervals.

1 files changed, 8 insertions, 0 deletions

diff --git a/lib/ur/datetime.urs b/lib/ur/datetime.urs
index 26ee795a..972f86bf 100644
--- a/lib/ur/datetime.urs
+++ b/lib/ur/datetime.urs
@@ -14,6 +14,8 @@ type t = {
      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 fromTime : time -> t
 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