Mercurial > urweb

comparison lib/ur/basis.urs @ 1988:abb6981a2c4c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge with small clean-ups
author Adam Chlipala <adam@chlipala.net>
date Tue, 18 Feb 2014 07:07:01 -0500
parents 81bc76aa4acd
children a1d3fbdcc897
comparison
equal deleted inserted replaced
1970:6bea98c7f736 1988:abb6981a2c4c
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
178 val datetimeDayOfWeek : time -> int
169 179
170 180
171 (** * Encryption *) 181 (** * Encryption *)
172 182
173 val crypt : string -> string -> string 183 val crypt : string -> string -> string