Mercurial > urweb
comparison lib/ur/basis.urs @ 1685:225b87d4a7df
Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 04 Feb 2012 11:01:06 -0500 |
parents | ac141fbb313a |
children | a1a1d66aebac |
comparison
equal
deleted
inserted
replaced
1684:9dd8d47c3e58 | 1685:225b87d4a7df |
---|---|
159 val minTime : time | 159 val minTime : time |
160 val addSeconds : time -> int -> time | 160 val addSeconds : time -> int -> time |
161 val toSeconds : time -> int | 161 val toSeconds : time -> int |
162 val diffInSeconds : time -> time -> int | 162 val diffInSeconds : time -> time -> int |
163 (* Earlier time first *) | 163 (* Earlier time first *) |
164 val toMilliseconds : time -> int | |
165 val diffInMilliseconds : time -> time -> int | |
164 val timef : string -> time -> string (* Uses strftime() format string *) | 166 val timef : string -> time -> string (* Uses strftime() format string *) |
165 val readUtc : string -> option time | 167 val readUtc : string -> option time |
166 | 168 |
167 | 169 |
168 (** * Encryption *) | 170 (** * Encryption *) |