Mercurial > gui
annotate datebox.urs @ 12:bbdedfde154e
Add a calendar control.
| author | Karn Kallio <kkallio@eka> |
|---|---|
| date | Thu, 28 Jul 2011 10:24:34 -0430 |
| parents | 4385bc6a0d2d |
| children | 0827320b0f04 |
| rev | line source |
|---|---|
| kkallio@12 | 1 class givesDates |
| kkallio@12 | 2 |
| adam@2 | 3 type t |
| kkallio@12 | 4 type calendarCtl |
| kkallio@12 | 5 |
| kkallio@12 | 6 val givesDates_t : givesDates t |
| kkallio@12 | 7 val givesDates_calendarCtl : givesDates calendarCtl |
| adam@2 | 8 |
| adam@4 | 9 type date = {Year : int, Month : int, Day : int} |
| adam@5 | 10 val date_ord : ord date |
| adam@5 | 11 val time : date -> time |
| kkallio@12 | 12 val date : time -> date |
| adam@4 | 13 |
| adam@4 | 14 val create : time -> transaction t |
| adam@2 | 15 val render : t -> xbody |
| kkallio@12 | 16 |
| kkallio@12 | 17 val createCalendarCtl : time -> transaction calendarCtl |
| kkallio@12 | 18 val renderCalendarCtl : (date -> transaction unit) -> calendarCtl -> xbody |
| kkallio@12 | 19 val setCalendarCtl : (date -> transaction unit) -> calendarCtl -> date -> transaction unit |
| kkallio@12 | 20 |
| kkallio@12 | 21 val value : t ::: Type -> givesDates t -> t -> signal date |
| adam@2 | 22 |
| adam@2 | 23 style calendar |
| adam@2 | 24 style prev |
| adam@2 | 25 style this |
| adam@2 | 26 style next |
| adam@2 | 27 style weekday |
| adam@2 | 28 style curday |
| adam@2 | 29 style otherday |
| adam@4 | 30 style selday |