Mercurial > gui
comparison 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 |
comparison
equal
deleted
inserted
replaced
11:ccd0a169e827 | 12:bbdedfde154e |
---|---|
1 class givesDates | |
2 | |
1 type t | 3 type t |
4 type calendarCtl | |
5 | |
6 val givesDates_t : givesDates t | |
7 val givesDates_calendarCtl : givesDates calendarCtl | |
2 | 8 |
3 type date = {Year : int, Month : int, Day : int} | 9 type date = {Year : int, Month : int, Day : int} |
4 val date_ord : ord date | 10 val date_ord : ord date |
5 val time : date -> time | 11 val time : date -> time |
12 val date : time -> date | |
6 | 13 |
7 val create : time -> transaction t | 14 val create : time -> transaction t |
8 val render : t -> xbody | 15 val render : t -> xbody |
9 val value : t -> signal date | 16 |
17 val createCalendarCtl : time -> transaction calendarCtl | |
18 val renderCalendarCtl : (date -> transaction unit) -> calendarCtl -> xbody | |
19 val setCalendarCtl : (date -> transaction unit) -> calendarCtl -> date -> transaction unit | |
20 | |
21 val value : t ::: Type -> givesDates t -> t -> signal date | |
10 | 22 |
11 style calendar | 23 style calendar |
12 style prev | 24 style prev |
13 style this | 25 style this |
14 style next | 26 style next |