comparison datebox.urs @ 23:7c734edc6301

Merge from Adam.
author Karn Kallio <kkallio@eka>
date Sat, 24 Sep 2011 18:55:27 -0430
parents 554e342665fe
children 5905b56e0cd9
comparison
equal deleted inserted replaced
22:4362b15220e4 23:7c734edc6301
1 type t 1 type t
2 (* The type of dateboxes, which are input elements 2
3 * allowing the user to select a date from a popup 3 (* The type of dateboxes, which are input elements allowing the user to select a
4 * calendar. *) 4 * date from a popup calendar. *)
5 5
6 type date = {Year : int, Month : int, Day : int} 6 type date = {Year : int, Month : int, Day : int}
7 val date_eq : eq date 7 val date_eq : eq date
8 val date_ord : ord date 8 val date_ord : ord date
9 val time : date -> time 9 val time : date -> time
20 (* Call this to change the selected date. *) 20 (* Call this to change the selected date. *)
21 21
22 val value : t -> signal date 22 val value : t -> signal date
23 (* Extract the current date value. *) 23 (* Extract the current date value. *)
24 24
25 val render : t -> xbody 25 val gui_t : Gui.gui t []
26 (* Draws the datebox as a piece of xml. *) 26 (* Draws the datebox as a piece of xml. *)