Mercurial > gui
view datebox.urs @ 20:554e342665fe
Add a new parameter to Gui.gui
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 24 Sep 2011 15:47:00 -0400 |
parents | 3a303df9ae92 |
children | 5905b56e0cd9 |
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 onChange : t -> (date -> transaction {}) -> transaction {} (* Add an action to be run when the date changes. *) val set : t -> date -> transaction {} (* Call this to change the selected date. *) val value : t -> signal date (* Extract the current date value. *) val gui_t : Gui.gui t [] (* Draws the datebox as a piece of xml. *)