From b2873bdd07801753460bd6f1b9efcc235a2f0268 Mon Sep 17 00:00:00 2001
From: Patrick Hurst <phurst@mit.edu>
Date: Sat, 7 Dec 2013 21:31:51 -0500
Subject: Add day-of-week/month <-> int conversion functions.

---
 lib/ur/datetime.urs | 33 +++++++++++++++++++++++----------
 1 file changed, 23 insertions(+), 10 deletions(-)

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

diff --git a/lib/ur/datetime.urs b/lib/ur/datetime.urs
index 0d8e8c28..2fc2998b 100644
--- a/lib/ur/datetime.urs
+++ b/lib/ur/datetime.urs
@@ -1,17 +1,30 @@
-type datetime = { Year : int,
-                  Month : int,
-                  Day : int,
-                  Hour : int,
-                  Minute : int,
-                  Second : int
-                }
-
 datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday |
          Friday | Saturday
 
-val show : show day_of_week
+datatype month = January | February | March | April | May | June | July |
+         August | September | October | November | December
+
+
+type datetime = {
+     Year : int,
+     Month : month,
+     Day : int,
+     Hour : int,
+     Minute : int,
+     Second : int
+}
+
+val show_day_of_week : show day_of_week
+val show_month : show month
+val eq_day_of_week : eq day_of_week
+val eq_month : eq month
+val dayOfWeekToInt : day_of_week -> int
+val intToDayOfWeek : int -> day_of_week
+val monthToInt : month -> int
+val intToMonth : int -> month
 
 val toTime : datetime -> time
 val fromTime : time -> datetime
-val datetimef : string -> datetime -> string
+val format : string -> datetime -> string
+val dayOfWeek : datetime -> day_of_week
 val now : transaction datetime
-- 
cgit v1.2.3