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 | a7d5aa431c2e02652ca15dacce4b7f81268eeb85 (patch) | |
tree | d3959884837379ac8d020273030caef70f8c78c1 /lib/ur | |
parent | 433e33875836ed5d1277a05a1c2a4ed035e89929 (diff) |
Add basic year/month/day/hour/minute/second <-> time functions.
Diffstat (limited to 'lib/ur')
-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 *) |