From 3e814081cc04b2048a8f882a832890cc39332d79 Mon Sep 17 00:00:00 2001
From: Patrick Hurst <phurst@mit.edu>
Date: Thu, 5 Dec 2013 11:36:46 -0500
Subject: Basic datetime library.

---
 lib/ur/datetime.ur  | 26 ++++++++++++++++++++++++++
 lib/ur/datetime.urs | 12 ++++++++++++
 2 files changed, 38 insertions(+)
 create mode 100644 lib/ur/datetime.ur
 create mode 100644 lib/ur/datetime.urs

(limited to 'lib/ur')

diff --git a/lib/ur/datetime.ur b/lib/ur/datetime.ur
new file mode 100644
index 00000000..56c29724
--- /dev/null
+++ b/lib/ur/datetime.ur
@@ -0,0 +1,26 @@
+type datetime = {
+     Year : int,
+     Month : int,
+     Day : int,
+     Hour : int,
+     Minute : int,
+     Second : int
+}
+
+fun toTime dt : time = fromDatetime dt.Year dt.Month dt.Day
+                                    dt.Hour dt.Minute dt.Second
+
+fun fromTime t : datetime = {
+    Year = datetimeYear t,
+    Month = datetimeMonth t,
+    Day = datetimeDay t,
+    Hour = datetimeHour t,
+    Minute = datetimeMinute t,
+    Second = datetimeSecond t
+}
+
+fun datetimef fmt dt : string = timef fmt (toTime dt)
+
+val now : transaction datetime =
+    n <- now;
+    return (fromTime n)
diff --git a/lib/ur/datetime.urs b/lib/ur/datetime.urs
new file mode 100644
index 00000000..9d99b9e3
--- /dev/null
+++ b/lib/ur/datetime.urs
@@ -0,0 +1,12 @@
+type datetime = { Year : int,
+                  Month : int,
+                  Day : int,
+                  Hour : int,
+                  Minute : int,
+                  Second : int
+                }
+
+val toTime : datetime -> time
+val fromTime : time -> datetime
+val datetimef : string -> datetime -> string
+val now : transaction datetime
-- 
cgit v1.2.3