Mercurial > gui
view 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 |
line wrap: on
line source
class givesDates type t type calendarCtl val givesDates_t : givesDates t val givesDates_calendarCtl : givesDates calendarCtl type date = {Year : int, Month : int, Day : int} val date_ord : ord date val time : date -> time val date : time -> date val create : time -> transaction t val render : t -> xbody val createCalendarCtl : time -> transaction calendarCtl val renderCalendarCtl : (date -> transaction unit) -> calendarCtl -> xbody val setCalendarCtl : (date -> transaction unit) -> calendarCtl -> date -> transaction unit val value : t ::: Type -> givesDates t -> t -> signal date style calendar style prev style this style next style weekday style curday style otherday style selday