diff options
author | Patrick Hurst <phurst@mit.edu> | 2013-12-05 11:36:06 -0500 |
---|---|---|
committer | Patrick Hurst <phurst@mit.edu> | 2013-12-05 11:36:06 -0500 |
commit | 8492b32b68c817deb9556e377b0a1b7fbdef22bf (patch) | |
tree | d3959884837379ac8d020273030caef70f8c78c1 /lib | |
parent | d89fd37a66ab73ea7eba5e2574c4e679c4026f0b (diff) |
Add basic year/month/day/hour/minute/second <-> time functions.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/ur/basis.urs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 4931c97a..804f15b9 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -167,6 +167,15 @@ val diffInMilliseconds : time -> time -> int val timef : string -> time -> string (* Uses strftime() format string *) val readUtc : string -> option time +(* Takes a year, month, day, hour, minute, second. *) +val fromDatetime : int -> int -> int -> int -> int -> int -> time +val datetimeYear : time -> int +val datetimeMonth : time -> int +val datetimeDay : time -> int +val datetimeHour : time -> int +val datetimeMinute: time -> int +val datetimeSecond : time -> int + (** * Encryption *) |