Mercurial > gui

comparison datebox.urs @ 12:bbdedfde154e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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