Mercurial > urweb

diff lib/ur/datetime.urs @ 1973:155bd0bc4d28

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Day of week functions.
author Patrick Hurst <phurst@mit.edu>
date Thu, 05 Dec 2013 11:36:54 -0500
parents 56c68443cb9d
children a10368c65e7f
line wrap: on
line diff
--- 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