Mercurial > gui
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. *) |