comparison lib/ur/basis.urs @ 1971:1e360ea06a09

Add basic year/month/day/hour/minute/second <-> time functions.
author Patrick Hurst <phurst@mit.edu>
date Thu, 05 Dec 2013 11:36:06 -0500
parents fdafa3f92e40
children 155bd0bc4d28
comparison
equal deleted inserted replaced
1920:2f33d9a51765 1971:1e360ea06a09
164 (* Earlier time first *) 164 (* Earlier time first *)
165 val toMilliseconds : time -> int 165 val toMilliseconds : time -> int
166 val diffInMilliseconds : time -> time -> int 166 val diffInMilliseconds : time -> time -> int
167 val timef : string -> time -> string (* Uses strftime() format string *) 167 val timef : string -> time -> string (* Uses strftime() format string *)
168 val readUtc : string -> option time 168 val readUtc : string -> option time
169
170 (* Takes a year, month, day, hour, minute, second. *)
171 val fromDatetime : int -> int -> int -> int -> int -> int -> time
172 val datetimeYear : time -> int
173 val datetimeMonth : time -> int
174 val datetimeDay : time -> int
175 val datetimeHour : time -> int
176 val datetimeMinute: time -> int
177 val datetimeSecond : time -> int
169 178
170 179
171 (** * Encryption *) 180 (** * Encryption *)
172 181
173 val crypt : string -> string -> string 182 val crypt : string -> string -> string