diff options
author | Patrick Hurst <phurst@mit.edu> | 2013-12-07 21:31:51 -0500 |
---|---|---|
committer | Patrick Hurst <phurst@mit.edu> | 2013-12-07 21:31:51 -0500 |
commit | b2873bdd07801753460bd6f1b9efcc235a2f0268 (patch) | |
tree | 6ef28f7e1421a421f57f6aa2929bca0c11e4ecc7 /lib/ur/datetime.urs | |
parent | 90c266db553a99056e0baac98df05f06c34de4ae (diff) |
Add day-of-week/month <-> int conversion functions.
Diffstat (limited to 'lib/ur/datetime.urs')
-rw-r--r-- | lib/ur/datetime.urs | 33 |
1 files changed, 23 insertions, 10 deletions
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 |