Mercurial > gui
comparison datebox.urs @ 15:8300d5f0dc19
Replace ChangePoller with SourceL, plus some other rearrangements
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 07 Aug 2011 14:38:52 -0400 |
parents | 0827320b0f04 |
children | 3a303df9ae92 |
comparison
equal
deleted
inserted
replaced
14:0827320b0f04 | 15:8300d5f0dc19 |
---|---|
11 (* Type of dates and some useful utility functions. *) | 11 (* Type of dates and some useful utility functions. *) |
12 | 12 |
13 val create : time -> transaction t | 13 val create : time -> transaction t |
14 (* Get a datebox initially set to the given time. *) | 14 (* Get a datebox initially set to the given time. *) |
15 | 15 |
16 val addListener : (date -> transaction unit) -> t -> transaction unit | 16 val onChange : t -> (date -> transaction {}) -> transaction {} |
17 (* Add an action to be run when the date changes. *) | 17 (* Add an action to be run when the date changes. *) |
18 | 18 |
19 val set : t -> date -> transaction unit | 19 val set : t -> date -> transaction {} |
20 (* Call this to change the selected date. *) | 20 (* Call this to change the selected date. *) |
21 | 21 |
22 val value : t -> signal date | 22 val value : t -> signal date |
23 (* Extract the current date value. *) | 23 (* Extract the current date value. *) |
24 | 24 |