Mercurial > gui
annotate clock.urs @ 32:d32fb0f7b137
Update for Ur/Web's new type class handling
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 29 Jul 2012 12:28:46 -0400 |
| parents | 0337f88f2efc |
| children |
| rev | line source |
|---|---|
| adam@10 | 1 (** Reactive view of the current time *) |
| adam@10 | 2 |
| adam@10 | 3 type t |
| adam@10 | 4 |
| adam@10 | 5 val create : int -> transaction t |
| adam@10 | 6 (* Specify the clock resolution, in milliseconds. *) |
| adam@10 | 7 |
| adam@10 | 8 val start : t -> transaction {} |
| adam@10 | 9 (* Call this in client-side code (e.g., 'onload' handler) to begin. *) |
| adam@10 | 10 |
| adam@10 | 11 val signal : t -> signal time |