Mercurial > urweb
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 |