comparison lib/ur/basis.urs @ 2187:14c45a0b6362

Basis.fromMilliseconds
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Nov 2015 11:55:01 -0500
parents 598a5f781d39
children 849404a3af27
comparison
equal deleted inserted replaced
2186:d87d72b6e299 2187:14c45a0b6362
161 val addSeconds : time -> int -> time 161 val addSeconds : time -> int -> time
162 val toSeconds : time -> int 162 val toSeconds : time -> int
163 val diffInSeconds : time -> time -> int 163 val diffInSeconds : time -> time -> int
164 (* Earlier time first *) 164 (* Earlier time first *)
165 val toMilliseconds : time -> int 165 val toMilliseconds : time -> int
166 val fromMilliseconds : int -> time
166 val diffInMilliseconds : time -> time -> int 167 val diffInMilliseconds : time -> time -> int
167 val timef : string -> time -> string (* Uses strftime() format string *) 168 val timef : string -> time -> string (* Uses strftime() format string *)
168 val readUtc : string -> option time 169 val readUtc : string -> option time
169 170
170 (* Takes a year, month, day, hour, minute, second. *) 171 (* Takes a year, month, day, hour, minute, second. *)