Mercurial > gui
annotate calendar.urs @ 30:c1f06342c81f
Add margin example
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 12 May 2012 10:07:45 -0400 |
| parents | 5905b56e0cd9 |
| children |
| rev | line source |
|---|---|
| kkallio@14 | 1 type date = {Year : int, Month : int, Day : int} |
| kkallio@14 | 2 val date_eq : eq date |
| kkallio@14 | 3 val date_ord : ord date |
| kkallio@14 | 4 val time : date -> time |
| kkallio@14 | 5 val date : time -> date |
| kkallio@14 | 6 (* A type to represent calendar dates and some operations on them. *) |
| kkallio@14 | 7 |
| kkallio@14 | 8 type t |
| kkallio@14 | 9 (* Interactive calendar control widgets. The date can be set and read. |
| kkallio@14 | 10 * They support adding a change listener which will be called on |
| kkallio@14 | 11 * the new date. They are displayed as pictures of calendars which |
| kkallio@14 | 12 * have clickable dates. *) |
| kkallio@14 | 13 |
| adam@15 | 14 val onChange : t -> (date -> transaction {}) -> transaction unit |
| kkallio@14 | 15 (* Add a change listener to a calendar control. *) |
| kkallio@14 | 16 |
| kkallio@14 | 17 val set : t -> date -> transaction unit |
| kkallio@14 | 18 (* Set the date of the calendar. *) |
| kkallio@14 | 19 |
| kkallio@14 | 20 val value : t -> signal date |
| kkallio@14 | 21 (* Read the date of the calendar. *) |
| kkallio@14 | 22 |
| adam@27 | 23 val gui_t : Gui.gui t body' |
| kkallio@14 | 24 (* Witness that this is a gui widget. *) |
| kkallio@14 | 25 |
| kkallio@14 | 26 val create : time -> transaction t |
| kkallio@14 | 27 (* Get a basic interactive calendar control widget. *) |
| kkallio@14 | 28 |
| kkallio@14 | 29 style calendar |
| kkallio@14 | 30 style prev |
| kkallio@14 | 31 style this |
| kkallio@14 | 32 style next |
| kkallio@14 | 33 style weekday |
| kkallio@14 | 34 style curday |
| kkallio@14 | 35 style otherday |
| kkallio@14 | 36 style selday |
| kkallio@14 | 37 (* Styles for the calendar panel. *) |