# HG changeset patch
# User Patrick Hurst <phurst@mit.edu>
# Date 1386261414 18000
# Node ID 155bd0bc4d287da46d240e86edc3bd97f864e9e9
# Parent  56c68443cb9d3996a0dd6698032877f599d2c522
Day of week functions.

diff -r 56c68443cb9d -r 155bd0bc4d28 lib/ur/basis.urs
--- a/lib/ur/basis.urs	Thu Dec 05 11:36:46 2013 -0500
+++ b/lib/ur/basis.urs	Thu Dec 05 11:36:54 2013 -0500
@@ -175,6 +175,7 @@
 val datetimeHour : time -> int
 val datetimeMinute: time -> int
 val datetimeSecond : time -> int
+val datetimeDayOfWeek : time -> int
 
 
 (** * Encryption *)
diff -r 56c68443cb9d -r 155bd0bc4d28 lib/ur/datetime.ur
--- a/lib/ur/datetime.ur	Thu Dec 05 11:36:46 2013 -0500
+++ b/lib/ur/datetime.ur	Thu Dec 05 11:36:54 2013 -0500
@@ -7,6 +7,18 @@
      Second : int
 }
 
+datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday |
+         Friday | Saturday
+
+val show = mkShow (fn dow => case dow of
+                                 Sunday => "Sunday"
+                               | Monday => "Monday"
+                               | Tuesday => "Tuesday"
+                               | Wednesday => "Wednesday"
+                               | Thursday => "Thursday"
+                               | Friday => "Friday"
+                               | Saturday => "Saturday")
+
 fun toTime dt : time = fromDatetime dt.Year dt.Month dt.Day
                                     dt.Hour dt.Minute dt.Second
 
diff -r 56c68443cb9d -r 155bd0bc4d28 lib/ur/datetime.urs
--- a/lib/ur/datetime.urs	Thu Dec 05 11:36:46 2013 -0500
+++ b/lib/ur/datetime.urs	Thu Dec 05 11:36:54 2013 -0500
@@ -6,6 +6,11 @@
                   Second : int
                 }
 
+datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday |
+         Friday | Saturday
+
+val show : show day_of_week
+
 val toTime : datetime -> time
 val fromTime : time -> datetime
 val datetimef : string -> datetime -> string
diff -r 56c68443cb9d -r 155bd0bc4d28 src/c/urweb.c
--- a/src/c/urweb.c	Thu Dec 05 11:36:46 2013 -0500
+++ b/src/c/urweb.c	Thu Dec 05 11:36:54 2013 -0500
@@ -3894,6 +3894,11 @@
   return tm.tm_sec;
 }
 
+uw_Basis_int uw_Basis_datetimeDayOfWeek(uw_context ctx, uw_Basis_time time) {
+  struct tm tm;
+  gmtime_r(&time.seconds, &tm);
+  return tm.tm_wday;
+}
 
 
 void *uw_get_global(uw_context ctx, char *name) {