diff options
author | Patrick Hurst <phurst@mit.edu> | 2013-12-05 11:36:46 -0500 |
---|---|---|
committer | Patrick Hurst <phurst@mit.edu> | 2013-12-05 11:36:46 -0500 |
commit | 5892c59cc4dd947692ff1503b39ab7dc4e02037b (patch) | |
tree | 9e31f41a597508da5950b1f4869d8ca7acc864e0 /lib | |
parent | 8492b32b68c817deb9556e377b0a1b7fbdef22bf (diff) |
Basic datetime library.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/ur/datetime.ur | 26 | ||||
-rw-r--r-- | lib/ur/datetime.urs | 12 |
2 files changed, 38 insertions, 0 deletions
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 |