From 80481a810d22d3354caca3c354e4bebd22dbbc80 Mon Sep 17 00:00:00 2001
From: Patrick Hurst <phurst@mit.edu>
Date: Thu, 5 Dec 2013 11:36:54 -0500
Subject: Day of week functions.

---
 lib/ur/basis.urs    |  1 +
 lib/ur/datetime.ur  | 12 ++++++++++++
 lib/ur/datetime.urs |  5 +++++
 3 files changed, 18 insertions(+)

(limited to 'lib')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 804f15b9..36d2effa 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -175,6 +175,7 @@ val datetimeDay : time -> int
 val datetimeHour : time -> int
 val datetimeMinute: time -> int
 val datetimeSecond : time -> int
+val datetimeDayOfWeek : time -> int
 
 
 (** * Encryption *)
diff --git a/lib/ur/datetime.ur b/lib/ur/datetime.ur
index 56c29724..a633dc83 100644
--- a/lib/ur/datetime.ur
+++ b/lib/ur/datetime.ur
@@ -7,6 +7,18 @@ type datetime = {
      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 --git a/lib/ur/datetime.urs b/lib/ur/datetime.urs
index 9d99b9e3..0d8e8c28 100644
--- a/lib/ur/datetime.urs
+++ b/lib/ur/datetime.urs
@@ -6,6 +6,11 @@ type datetime = { Year : int,
                   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
-- 
cgit v1.2.3