Mercurial > gui
comparison clock.urs @ 10:0337f88f2efc
Clock
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 22 Jul 2011 15:40:03 -0400 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 9:1e04008eaef7 | 10:0337f88f2efc |
|---|---|
| 1 (** Reactive view of the current time *) | |
| 2 | |
| 3 type t | |
| 4 | |
| 5 val create : int -> transaction t | |
| 6 (* Specify the clock resolution, in milliseconds. *) | |
| 7 | |
| 8 val start : t -> transaction {} | |
| 9 (* Call this in client-side code (e.g., 'onload' handler) to begin. *) | |
| 10 | |
| 11 val signal : t -> signal time |