Mercurial > gui
view datebox.urs @ 14:0827320b0f04
Write calendarCtl in terms of a source with a listener.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Fri, 05 Aug 2011 18:55:24 -0430 |
parents | bbdedfde154e |
children | 8300d5f0dc19 |
line wrap: on
line source
type t (* The type of dateboxes, which are input elements * allowing the user to select a date from a popup * calendar. *) type date = {Year : int, Month : int, Day : int} val date_eq : eq date val date_ord : ord date val time : date -> time val date : time -> date (* Type of dates and some useful utility functions. *) val create : time -> transaction t (* Get a datebox initially set to the given time. *) val addListener : (date -> transaction unit) -> t -> transaction unit (* Add an action to be run when the date changes. *) val set : t -> date -> transaction unit (* Call this to change the selected date. *) val value : t -> signal date (* Extract the current date value. *) val render : t -> xbody (* Draws the datebox as a piece of xml. *)