From 9dd4f9479ae62645b9150b37d3ae42512d1efff1 Mon Sep 17 00:00:00 2001
From: Patrick Hurst <phurst@mit.edu>
Date: Mon, 9 Dec 2013 19:19:12 -0500
Subject: Add datetime functions for adding time intervals.

---
 lib/ur/datetime.urs | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'lib/ur/datetime.urs')

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
-- 
cgit v1.2.3