Mercurial > urweb
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. *) |