aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Patrick Hurst <phurst@mit.edu>2013-12-05 11:36:06 -0500
committerGravatar Patrick Hurst <phurst@mit.edu>2013-12-05 11:36:06 -0500
commit8492b32b68c817deb9556e377b0a1b7fbdef22bf (patch)
treed3959884837379ac8d020273030caef70f8c78c1 /lib/ur/basis.urs
parentd89fd37a66ab73ea7eba5e2574c4e679c4026f0b (diff)
Add basic year/month/day/hour/minute/second <-> time functions.
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs9
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 *)